A Maximal Entropy Stochastic Process for a Timed Automaton by Basset, N

A Maximal Entropy Stochastic Process for a Timed Automaton by Basset, N

Timed symbolic dynamics by Basset, N

Counting and generating permutations in regular classes of permutations by Basset, N

Counting and generating permutations using timed languages by Basset, N

Thin and Thick Timed Regular Languages by Basset, N, Asarin, E

Compositional Controller Synthesis for Stochastic Games by Basset, N, Kwiatkowska, M, Wiltsche, C

Compositional strategy synthesis for stochastic games with multiple objectives by Basset, N, Kwiatkowska, M, Wiltsche, C

Spectral Gap in Timed Automata by Asarin, E, Basset, N, Degorre, A

Generating Functions of Timed Languages by Asarin, E, Basset, N, Degorre, A, Perrin, D

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives by Basset, N, Kwiatkowska, M, Topcu, U, Wiltsche, C

Uniform sampling for timed automata with application to language inclusion measurement by Kwiatkowska, M, Barbot, B, Basset, N, Beunardeau, M

Toward a Timed Theory of Channel Coding by Asarin, E, Basset, N, Béal, M, Degorre, A, Perrin, D