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⟩ 
