Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement
Résumé
no abstract
Communication Dans Un Congrès
Année : 2016
Benoît Barbot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01371897
Soumis le : lundi 26 septembre 2016-15:39:34
Dernière modification le : mardi 14 février 2023-14:32:07
Citer
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, ⟨10.1007/978-3-319-43425-4_13⟩. ⟨hal-01371897⟩
40
Consultations
0
Téléchargements