A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors

Published in: Inf. Comput. (1989)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
vector quantizer
average cost
context free
transition systems
functional dependencies
modal logic
partially observable markov decision processes
action sets
tree automata
natural language
policy iteration