A specification with performance evaluation for probabilistic timed automata.
Yan MaZining CaoYang LiuPublished in: ISKE (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- probabilistic model
- bayesian networks
- formal specification
- generative model
- theorem prover
- specification language
- probabilistic reasoning
- context sensitive
- probabilistic logic
- database
- low cost
- real time
- posterior probability
- first order logic
- data driven
- formal verification
- provably correct