Playing Optimally on Timed Automata with Random Delays

Type de document :
Communication dans un congrès
Formats - 10th International Conference on Formal Modeling and Analysis of Timed Systems - 2012, Sep 2012, London, United Kingdom. 7595, pp.43-58, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33365-1_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00752440
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 novembre 2012 - 17:03:20
Dernière modification le : lundi 15 janvier 2018 - 11:47:14

Lien texte intégral

Identifiants

Collections

Citation

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. 7595, pp.43-58, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33365-1_5〉. 〈hal-00752440〉

Partager

Métriques

Consultations de la notice

129