Login / Signup
Verifying Finite State Machines in Probabilistic Environments.
Markus Siegle
Published in:
MBMV (2006)
Keyphrases
</>
finite state machines
model checking
finite state automata
dynamic environments
digital circuits
regular expressions
generative model
probabilistic model
uncertain data
data analysis
object oriented
data sets
belief networks
hidden markov models
probability theory
video sequences
bayesian networks