Two-Head Finite-State Acceptors with Translucent Letters.
Benedek NagyFriedrich OttoPublished in: SOFSEM (2019)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- optimal policy
- continuous time bayesian networks
- action sets
- average cost
- partially observable markov decision processes
- context free
- tree automata
- finite state transducers
- continuous time markov process
- information extraction
- transition systems
- policy iteration
- distributed systems