According to our database1, Nicolas Basset authored at least 23 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Specification and Efficient Monitoring Beyond STL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Generation of Signals Under Temporal Constraints for CPS Testing.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Compositional strategy synthesis for stochastic games with multiple objectives.
Inf. Comput., 2018
Distance on Timed Words and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Beyond Admissibility: Dominance Between Chains of Strategies.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017
Admissiblity in Concurrent Games.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Uniform Sampling for Networks of Automata.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Admissible Strategies in Timed Games.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Counting and Generating Permutations in Regular Classes.
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
A maximal entropy stochastic process for a timed automaton.
Inf. Comput., 2015
Entropy of regular timed languages.
Inf. Comput., 2015
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Timed Symbolic Dynamics.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Counting and Generating Permutations Using Timed Languages.
Proceedings of the LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31, 2014
Compositional Controller Synthesis for Stochastic Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Volumetry of timed languages and applications. (Volumétrie des langages temporisés et applications).
PhD thesis, 2013
A Maximal Entropy Stochastic Process for a Timed Automaton, .
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Spectral Gap in Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
Generating Functions of Timed Languages.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Toward a Timed Theory of Channel Coding.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
Thin and Thick Timed Regular Languages.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011