No. Title Author Year
1 A Robust Class of Languages of 2-Nested Words Fratani, Séverine et al. 2022
2 Decidability of One-Clock Weighted Timed Games with Arbitrary Weights Monmege, Benjamin et al. 2022
3 Weighted Automata and Expressions over Pre-Rational Monoids Baudru, Nicolas et al. 2022
4 Playing Stochastically in Weighted Timed Games to Emulate Memory Monmege, Benjamin et al. 2021
5 Reaching Your Goal Optimally by Playing at Random with No Memory Monmege, Benjamin et al. 2020
6 Sequentiality of String-to-Context Transducers Reynier, Pierre-Alain et al. 2019
7 Synthesis of Data Word Transducers Exibard, Léo et al. 2019
8 Symbolic Approximation of Weighted Timed Games Busatto-Gaston, Damien et al. 2018
9 Streamability of Nested Word Transductions Filiot, Emmanuel et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI