p-Automata: New Foundations for Discrete-Time Probabilistic Verification.
Michael HuthNir PitermanDaniel WagnerPublished in: QEST (2010)
Keyphrases
- finite state
- model checking
- artificial intelligence
- markov chain
- cellular automata
- finite state machines
- databases
- probabilistic model
- markov processes
- uncertain data
- generative model
- face verification
- probabilistic automata
- probabilistic approaches
- formal verification
- probabilistic logic
- formal analysis
- formal methods
- temporal logic
- machine learning
- neural network