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