Sledovať
Nicolas BASSET
Nicolas BASSET
Assistant professor, Verimag and University Grenoble Alpes
Overená e-mailová adresa na: univ-grenoble-alpes.fr
Názov
Citované v
Citované v
Rok
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
692017
Strategy synthesis for stochastic games with multiple long-run objectives
N Basset, M Kwiatkowska, U Topcu, C Wiltsche
International Conference on Tools and Algorithms for the Construction and …, 2015
402015
Compositional controller synthesis for stochastic games
N Basset, M Kwiatkowska, C Wiltsche
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
292014
Thin and thick timed regular languages
N Basset, E Asarin
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
292011
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
262018
Entropy of regular timed languages
E Asarin, N Basset, A Degorre
Information and Computation 241, 142-176, 2015
222015
Specification and efficient monitoring beyond STL
A Bakhirkin, N Basset
International Conference on Tools and Algorithms for the Construction and …, 2019
202019
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
182020
Uniform sampling for networks of automata
N Basset, J Mairesse, M Soria
28th International Conference on Concurrency Theory (CONCUR 2017), 36: 1-36: 16, 2017
162017
Uniform sampling for timed automata with application to language inclusion measurement
B Barbot, N Basset, M Beunardeau, M Kwiatkowska
International Conference on Quantitative Evaluation of Systems, 175-190, 2016
162016
Generation of signals under temporal constraints for CPS testing
B Barbot, N Basset, T Dang
NASA Formal Methods Symposium, 54-70, 2019
152019
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
142019
Distance on timed words and applications
E Asarin, N Basset, A Degorre
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
142018
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
Generating functions of timed languages
E Asarin, N Basset, A Degorre, D Perrin
International Symposium on Mathematical Foundations of Computer Science, 124-135, 2012
112012
Towards efficient active learning of PDFA
F Mayr, S Yovine, F Pan, N Basset, T Dang
arXiv preprint arXiv:2206.09004, 2022
92022
A maximal entropy stochastic process for a timed automaton
N Basset
Information and Computation 243, 50-74, 2015
92015
Volumetry of timed languages and applications
N Basset
Université Paris-Est, 2013
82013
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20