- Record: found
- Abstract: not found
- Book Chapter: not found
MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Article: not found
Automatic verification of real-time systems with discrete probability distributions
Marta Kwiatkowska, Gethin Norman, Roberto Segala … (2002)
- Record: found
- Abstract: not found
- Article: not found
Symbolic model checking for probabilistic timed automata
Jeremy Sproston, Fuzhi Wang, Marta Kwiatkowska … (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
Modelisation of Timed Automata in Coq
Christine Paulin-Mohring (2001)