A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.
Xinxin LiuTingting YuPublished in: LICS (2021)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- tree automata
- optimal policy
- context free
- inference rules
- set of inference rules
- finite state transducers
- partially observable markov decision processes
- average cost
- modal logic
- temporal logic
- least squares
- kullback leibler
- natural language
- transition systems
- information retrieval