Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.
Najla ChamseddineMarie DuflotLaurent FribourgClaudine PicaronnyJeremy SprostonPublished in: QEST (2008)
Keyphrases
- timed automata
- model checking
- generative model
- reachability analysis
- theorem prover
- probabilistic model
- bayesian networks
- conditional probabilities
- probabilistic reasoning
- probabilistic approaches
- real time
- artificial neural networks
- image sequences
- probability distribution
- website
- orders of magnitude
- social networks
- real world
- theorem proving
- database