Output details
11 - Computer Science and Informatics
University of Warwick
Output title
Almost-Sure Model-Checking of Reactive Timed Automata
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 9th IEEE International Conference on Quantitative Evaluation of Systems (QEST 2012)
Volume number
-
Issue number
-
First page of article
138
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
3
Additional information
<10> This paper extends the scope of qualitative model checking on stochastic timed automata (STA) from one-clock STA models to multi-clock reactive STA models, by overcoming a known technical challenge that had remained unsolved since Baier et al. LICS'08. These findings have been foundational to research on maximal entropy for STAs, which won the ICALP'13 best student paper (Basset, Paris 7), to research on timed games (Bertrand, INRIA; Schewe, Liverpool, FORMATS'12), and to research on transient analysis for networks of STAs (Ballarini et al., Paris 7, QEST'13).
Interdisciplinary
-
Cross-referral requested
-
Research group
T - Theory and Foundations
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-