Login / Signup
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems.
Mingzhang Huang
Hongfei Fu
Joost-Pieter Katoen
Published in:
Inf. Comput. (2019)
Keyphrases
</>
finite state
markov chain
model checking
generative model
probabilistic model
markov decision processes
bayesian networks
vector quantizer
information extraction
distributed systems
belief networks
transition systems