Nicolas Basset

Available identifiers

zbMath Open basset.nicolasMaRDI QIDQ727970

List of research outcomes

Publication	Date of Publication	Type
Mining of extended signal temporal logic specifications with ParetoLib 2.0	2024-06-28	Paper
Max-entropy sampling for deterministic timed automata under linear duration constraints	2024-05-29	Paper
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions	2024-02-21	Paper
Wordgen : a Timed word Generation Tool	2024-02-21	Paper
Specification and efficient monitoring beyond STL	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5079732	2022-05-28	Paper
Learning specifications for labelled patterns	2021-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q5111650	2020-05-27	Paper
Admissiblity in Concurrent Games	2020-05-27	Paper
Admissible Strategies in Timed Games	2020-02-24	Paper
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives	2019-09-17	Paper
Distance on timed words and applications	2018-12-06	Paper
Compositional strategy synthesis for stochastic games with multiple objectives	2018-06-14	Paper
Uniform sampling for timed automata with application to language inclusion measurement	2018-01-11	Paper
Counting and generating permutations in regular classes	2016-12-21	Paper
Timed symbolic dynamics	2015-09-14	Paper
A maximal entropy stochastic process for a timed automaton	2015-06-09	Paper
Entropy of regular timed languages	2015-05-04	Paper
Compositional controller synthesis for stochastic games	2014-09-15	Paper
Counting and Generating Permutations Using Timed Languages	2014-03-31	Paper
Spectral gap in timed automata	2013-08-16	Paper
A Maximal Entropy Stochastic Process for a Timed Automaton,	2013-08-07	Paper
Toward a timed theory of channel coding	2012-11-21	Paper
Generating Functions of Timed Languages	2012-09-25	Paper
Thin and thick timed regular languages	2011-10-07	Paper

Research outcomes over time

This page was built for person: Nicolas Basset