C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems.
Hongfei Fu
Joost-Pieter Katoen
Published in:
FSTTCS (2011)
Keyphrases
</>
cellular automata
finite state
model checking
bayesian networks
probabilistic model
markov chain
context sensitive
generative model
optimal policy
temporal logic
markov decision processes
information retrieval
distributed systems
hidden markov models
finite state machines
search algorithm
action sets