No. Title Author Year
1 On the Succinctness of Alternating Parity Good-For-Games Automata Boker, Udi et al. 2020
2 Regular Resynchronizability of Origin Transducers Is Undecidable Kuperberg, Denis et al. 2020
3 Cyclic Proofs and Jumping Automata Kuperberg, Denis et al. 2019
4 Büchi Good-for-Games Automata Are Efficiently Recognizable Bagnol, Marc et al. 2018
5 Width of Non-deterministic Automata Kuperberg, Denis et al. 2018
6 Cost Functions Definable by Min/Max Automata Colcombet, Thomas et al. 2016
7 Soundness in Negotiations Esparza, Javier et al. 2016
8 Varieties of Cost Functions Daviaud, Laure et al. 2016
9 The Sensing Cost of Monitoring and Synthesis Almagor, Shaull et al. 2015
10 Regular Sensing Almagor, Shaull et al. 2014
11 Deciding the weak definability of Büchi definable tree languages Colcombet, Thomas et al. 2013
12 Linear temporal logic for regular cost functions Kuperberg, Denis 2011
13 Quasi-Weak Cost Automata: A New Variant of Weakness Kuperberg, Denis et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 13


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