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 |