Symbolic Model Checking for Probabilistic Timed Automata.
Marta Z. KwiatkowskaGethin NormanJeremy SprostonFuzhi WangPublished in: FORMATS/FTRTFT (2004)
Keyphrases
- model checking
- symbolic model checking
- timed automata
- temporal logic
- model checker
- formal verification
- conformant planning
- finite state
- formal specification
- probabilistic model
- bayesian networks
- formal methods
- generative model
- probability theory
- partial observability
- artificial intelligence
- dynamical systems
- domain specific
- search algorithm