Minimal witnesses for probabilistic timed automata.
Simon JantschFlorian FunkeChristel BaierPublished in: CoRR (2020)
Keyphrases
- timed automata
- reachability analysis
- model checking
- theorem prover
- bayesian networks
- real world
- artificial intelligence
- uncertain data
- probabilistic model
- machine learning
- belief networks
- generative model
- hidden markov models
- posterior probability
- conditional probabilities
- data driven
- database
- natural language
- search algorithm
- multi agent
- image processing
- computer vision
- real time