A Complete Axiomatisation for Trace Congruence of Finite State Behaviors.

Alexander Moshe Rabinovich

Published in: MFPS (1993)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
action sets
multi agent
search algorithm
infinite horizon
partially observable markov decision processes
tree automata
natural language processing
functional dependencies
average cost
policy iteration
context free