No. Title Author Year
1 A Hierarchy of Nondeterminism Abu Radi, Bader et al. 2021
2 Coverage and Vacuity in Network Formation Games Bielous, Gili et al. 2020
3 On Repetition Languages Kupferman, Orna et al. 2020
4 Perspective Games with Notifications Kupferman, Orna et al. 2020
5 Unary Prime Languages Jecker, Ismaël et al. 2020
6 Minimizing GFG Transition-Based Automata Abu Radi, Bader et al. 2019
7 Register-Bounded Synthesis Khalimov, Ayrat et al. 2019
8 Flow Games Kupferman, Orna et al. 2018
9 How Deterministic are Good-For-Games Automata? Boker, Udi et al. 2018
10 Spanning-Tree Games Hefetz, Dan et al. 2018
11 The Unfortunate-Flow Problem Kupferman, Orna et al. 2018
12 Timed Network Games with Clocks Avni, Guy et al. 2018
13 Flow Logic Kupferman, Orna et al. 2017
14 Timed Network Games Avni, Guy et al. 2017
15 Eulerian Paths with Regular Constraints Kupferman, Orna et al. 2016
16 High-Quality Synthesis Against Stochastic Environments Almagor, Shaull et al. 2016
17 Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis Almagor, Shaull et al. 2016
18 Congestion Games with Multisets of Resources and Applications in Synthesis Avni, Guy et al. 2015
19 On Relative and Probabilistic Finite Counterability Kupferman, Orna et al. 2015
20 Repairing Multi-Player Games Almagor, Shaull et al. 2015
21 The Sensing Cost of Monitoring and Synthesis Almagor, Shaull et al. 2015
22 Properties and Utilization of Capacitated Automata (Invited Talk) Kupferman, Orna et al. 2014
23 Regular Sensing Almagor, Shaull et al. 2014
24 Temporal Synthesis for Bounded Systems and Environments Kupferman, Orna et al. 2011
25 Unifying Büchi Complementation Constructions Fogarty, Seth et al. 2011
26 09501 Abstracts Collection -- Software Synthesis Bodik, Ratislav et al. 2010
27 Parityizing Rabin and Streett Boker, Udi et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 27


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