A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.

Xinxin Liu Tingting Yu

Published in: CoRR (2021)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
context free
tree automata
vector quantizer
average cost
partially observable markov decision processes
policy iteration
transition systems
action sets
least squares