Time-Abstracting Bisimulation for Probabilistic Timed Automata.
Taolue ChenTingting HanJoost-Pieter KatoenPublished in: TASE (2008)
Keyphrases
- timed automata
- model checking
- reachability analysis
- bayesian networks
- probabilistic model
- real time systems
- theorem prover
- probabilistic interpretation
- decision making
- probabilistic approaches
- probabilistic logic
- theorem proving
- uncertain data
- posterior probability
- context sensitive
- real world
- information theoretic
- software engineering
- search algorithm
- multiscale
- website
- information retrieval