Skip to Main content Skip to Navigation
Conference papers

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement

Benoît Barbot 1, 2 Nicolas Basset 1 Marc Beunardeau Marta Kwiatkowska 3 
1 Department of Computer Science [Oxford]
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 OUCL - Computing Laboratory
Abstract : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01371897
Contributor : Benoît Barbot Connect in order to contact the contributor
Submitted on : Monday, September 26, 2016 - 3:39:34 PM
Last modification on : Wednesday, November 3, 2021 - 6:50:28 AM

Links full text

openaccess

Identifiers

Collections

UPEC-UPEM | LACL | UPEC

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, ⟨10.1007/978-3-319-43425-4_13⟩. ⟨hal-01371897⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

28