Reachability probabilities in Markovian Timed Automata.
Taolue ChenTingting HanJoost-Pieter KatoenAlexandru MereacrePublished in: CDC/ECC (2011)
Keyphrases
- timed automata
- model checking
- reachability analysis
- state transition probabilities
- theorem prover
- probability distribution
- transitive closure
- theorem proving
- state space
- first order logic
- belief networks
- real time systems
- hidden markov models
- data sets
- probability theory
- service times
- reinforcement learning
- information retrieval