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


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