Finite-State Independence.

Verónica Becher Olivier Carton Pablo Ariel Heiber

Published in: Theory Comput. Syst. (2018)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
state space
tree automata
transition systems
action sets
partially observable markov decision processes
continuous time bayesian networks