Publications de Nicolas Basset

Revues internationales avec comité de lecture

Conférences internationales avec comité de lecture

Thèse

Rapports de stage

Article en cours de soumission

B. Barbot, N. Basset, M. Beunardeau et M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Version soumise disponible ici.