Suivre
Nicolas BASSET
Nicolas BASSET
Assistant professor, Verimag and University Grenoble Alpes
Adresse e-mail validée de univ-grenoble-alpes.fr
Titre
Citée par
Citée par
Année
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
672017
Strategy synthesis for stochastic games with multiple long-run objectives
N Basset, M Kwiatkowska, U Topcu, C Wiltsche
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
372015
Compositional controller synthesis for stochastic games
N Basset, M Kwiatkowska, C Wiltsche
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
272014
Thin and thick timed regular languages
N Basset, E Asarin
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
252011
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
242018
Entropy of regular timed languages
E Asarin, N Basset, A Degorre
Information and Computation 241, 142-176, 2015
212015
Specification and efficient monitoring beyond STL
A Bakhirkin, N Basset
International Conference on Tools and Algorithms for the Construction and …, 2019
182019
Uniform sampling for timed automata with application to language inclusion measurement
B Barbot, N Basset, M Beunardeau, M Kwiatkowska
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
172016
Falsification of cyber-physical systems with constrained signal spaces
B Barbot, N Basset, T Dang, A Donzé, J Kapinski, T Yamaguchi
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
162020
Generation of signals under temporal constraints for CPS testing
B Barbot, N Basset, T Dang
NASA Formal Methods Symposium, 54-70, 2019
142019
Uniform sampling for networks of automata
N Basset, J Mairesse, M Soria
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
132017
Toward a timed theory of channel coding
E Asarin, N Basset, MP Béal, A Degorre, D Perrin
International Conference on Formal Modeling and Analysis of Timed Systems, 27-42, 2012
132012
Counting and generating permutations using timed languages
N Basset
Latin American Symposium on Theoretical Informatics, 502-513, 2014
122014
A maximal entropy stochastic process for a timed automaton
N Basset
International Colloquium on Automata, Languages, and Programming, 61-73, 2013
122013
ParetoLib: A python library for parameter synthesis
A Bakhirkin, N Basset, O Maler, JIR Jarabo
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
112019
Generating functions of timed languages
E Asarin, N Basset, A Degorre, D Perrin
International Symposium on Mathematical Foundations of Computer Science, 124-135, 2012
102012
Distance on timed words and applications
E Asarin, N Basset, A Degorre
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
92018
A maximal entropy stochastic process for a timed automaton
N Basset
Information and Computation 243, 50-74, 2015
82015
Spectral gap in timed automata
E Asarin, N Basset, A Degorre
International Conference on Formal Modeling and Analysis of Timed Systems, 16-30, 2013
82013
Admissibility in concurrent games
N Basset, G Geeraerts, JF Raskin, O Sankur
arXiv preprint arXiv:1702.06439, 2017
72017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20