Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement

Abstract : no abstract
Type de document :
Communication dans un congrès
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016, Unknown, Unknown Region. pp.175--190, 2016, 〈10.1007/978-3-319-43425-4_13〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01371897
Contributeur : Benoît Barbot <>
Soumis le : lundi 26 septembre 2016 - 15:39:34
Dernière modification le : jeudi 21 juin 2018 - 01:09:56

Identifiants

Collections

Citation

Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016, Unknown, Unknown Region. pp.175--190, 2016, 〈10.1007/978-3-319-43425-4_13〉. 〈hal-01371897〉

Partager

Métriques

Consultations de la notice

22