Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours.
Nick FischerRob van GlabbeekPublished in: CoRR (2018)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- bayesian networks
- probabilistic context free grammars
- generative model
- average cost
- probabilistic model
- partially observable markov decision processes
- context free
- vector quantizer
- temporal logic
- tree automata
- action sets
- graphical models
- finite state transducers
- state space
- continuous time bayesian networks