Playing Optimally on Timed Automata with Random Delays

Nathalie Bertrand (1) , Sven Schewe (2)

1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
2 University of Liverpool

Nathalie Bertrand, Sven Schewe. Playing Optimally on Timed Automata with Random Delays. Formats - 10th International Conference on Formal Modeling and Analysis of Timed Systems - 2012, Sep 2012, London, United Kingdom. pp.43-58, ⟨10.1007/978-3-642-33365-1_5⟩. ⟨hal-00752440⟩