No. Title Author Year
1 Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs Bouyer, Patricia et al. 2022
2 Finite-Memory Strategies in Two-Player Infinite Games Bouyer, Patricia et al. 2022
3 Half-Positional Objectives Recognized by Deterministic Büchi Automata Bouyer, Patricia et al. 2022
4 Optimal Strategies in Concurrent Reachability Games Bordais, Benjamin et al. 2022
5 Arena-Independent Finite-Memory Determinacy in Stochastic Games Bouyer, Patricia et al. 2021
6 From Local to Global Determinacy in Concurrent Graph Games Bordais, Benjamin et al. 2021
7 Games Where You Can Play Optimally with Arena-Independent Finite Memory Bouyer, Patricia et al. 2020
8 Synthesizing Safe Coalition Strategies Bertrand, Nathalie et al. 2020
9 Concurrent Parameterized Games Bertrand, Nathalie et al. 2019
10 Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism Bouyer, Patricia et al. 2019
11 On the Computation of Nash Equilibria in Games on Graphs (Invited Talk) Bouyer, Patricia 2019
12 Reconfiguration and Message Losses in Parameterized Broadcast Networks Bertrand, Nathalie et al. 2019
13 Dependences in Strategy Logic Gardy, Patrick et al. 2018
14 Finite Bisimulations for Dynamical Systems with Overlapping Trajectories Bérard, Béatrice et al. 2018
15 Unbounded Product-Form Petri Nets Bouyer, Patricia et al. 2017
16 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
17 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
18 Stochastic Timed Games Revisited Akshay, S. et al. 2016
19 On the Value Problem in Weighted Timed Games Bouyer, Patricia et al. 2015
20 Weighted Strategy Logic with Boolean Goals Over One-Counter Games Bouyer, Patricia et al. 2015
21 Mixed Nash Equilibria in Concurrent Terminal-Reward Games Bouyer, Patricia et al. 2014
22 Nash Equilibria in Concurrent Games with Büchi Objectives Bouyer, Patricia et al. 2011
23 Shrinking Timed Automata Sankur, Ocan et al. 2011
24 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
25 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 25


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