Minimal Witnesses for Probabilistic Timed Automata.
Simon JantschFlorian FunkeChristel BaierPublished in: ATVA (2020)
Keyphrases
- timed automata
- model checking
- reachability analysis
- first order logic
- probabilistic model
- bayesian networks
- posterior probability
- theorem prover
- data mining
- theorem proving
- multiscale
- database systems
- probabilistic reasoning
- probability theory
- probabilistic planning
- information theoretic
- poor quality
- uncertain data
- generative model
- hidden markov models
- machine learning