Reversible and Irreversible Computations of Deterministic Finite-State Devices.
Martin KutribPublished in: MFCS (1) (2015)
Keyphrases
- finite state
- markov chain
- markov decision processes
- mobile devices
- stationary policies
- state space
- optimal policy
- model checking
- action sets
- cellular automata
- partially observable markov decision processes
- markov processes
- finite state transducers
- sufficient conditions
- average cost
- tree automata
- data mining
- continuous time bayesian networks
- search space