p-Automata: New foundations for discrete-time probabilistic verification.
Michael HuthNir PitermanDaniel WagnerPublished in: Perform. Evaluation (2012)
Keyphrases
- finite state
- model checking
- bayesian networks
- probabilistic model
- artificial intelligence
- generative model
- regular expressions
- markov processes
- finite automata
- probabilistic reasoning
- belief networks
- cellular automata
- markov chain
- data driven
- real time
- finite state machines
- formal methods
- case study
- tree automata
- asynchronous circuits
- finite state automata
- probabilistic automata