Nicolas Basset : Publications
Click here to download all publications in a single bibtex file
@inproceedings{combi, title = "Counting and generating permutations using timed languages", author = "Basset, Nicolas", year = "2014", booktitle = "LATIN", pages = "502-513", publisher = "Springer", }
@techreport{RR-14-10, title = "Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives", author = "Nicolas Basset and Marta Kwiatkowska and Ufuk Topcu and Clemens Wiltsche", year = "2014", institution = "DCS", number = "RR-14-10", pages = "30", }
@techreport{RR-14-05, title = "Compositional Controller Synthesis for Stochastic Games", author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche", year = "2014", institution = "DCS", number = "RR-14-05", pages = "26", }
@inproceedings{maxent, title = "A Maximal Entropy Stochastic Process for a Timed Automaton", author = "Nicolas Basset", year = "2013", booktitle = "ICALP (2)", pages = "61-73", publisher = "Springer", series = "LNCS 7966", }
@inproceedings{spectralgap, title = "Spectral Gap in Timed Automata", author = "Eugene Asarin and Nicolas Basset and Aldric Degorre", year = "2013", booktitle = "FORMATS", editor = "V\'{\i}ctor A. Braberman and Laurent Fribourg", isbn = "978-3-642-40228-9", pages = "16-30", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "8053", }
@inproceedings{generating, title = "Generating Functions of Timed Languages", author = "Eugene Asarin and Nicolas Basset and Aldric Degorre and Dominique Perrin", year = "2012", booktitle = "MFCS", pages = "124-135", publisher = "Springer", series = "LNCS 7464", }
@inproceedings{timedcode, title = "Toward a Timed Theory of Channel Coding", author = "Eugene Asarin and Nicolas Basset and Marie-Pierre B{\'e}al and Aldric Degorre and Dominique Perrin", year = "2012", booktitle = "FORMATS", pages = "27-42", publisher = "Springer", series = "LNCS 7595", }
@inproceedings{thinthick, title = "Thin and Thick Timed Regular Languages", author = "Nicolas Basset and Eugene Asarin", year = "2011", booktitle = "FORMATS", pages = "113-128", publisher = "Springer", series = "LNCS 6919", }