Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours.
Nick FischerRob van GlabbeekPublished in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- transition systems
- optimal policy
- probabilistic context free grammars
- generative model
- probabilistic model
- tree automata
- bayesian networks
- decision problems
- partially observable markov decision processes
- state space
- vector quantizer
- action sets
- hidden markov models
- similarity measure
- average cost
- context free
- learning algorithm
- completely independent
- machine learning