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


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