| No. |
Title |
Author |
Year |
| 1 |
Logical Forms of Chronicles |
Guyet, Thomas et al. |
2022 |
| 2 |
Parameterized Safety Verification of Round-Based Shared-Memory Systems |
Bertrand, Nathalie et al. |
2022 |
| 3 |
Semilinear Representations for Series-Parallel Atomic Congestion Games |
Bertrand, Nathalie et al. |
2022 |
| 4 |
Dynamic Network Congestion Games |
Bertrand, Nathalie et al. |
2020 |
| 5 |
Dependences in Strategy Logic |
Gardy, Patrick et al. |
2018 |
| 6 |
Temporal Logics for Multi-Agent Systems (Invited Talk) |
Markey, Nicolas |
2017 |
| 7 |
On the Expressiveness of QCTL |
David, Amélie et al. |
2016 |
| 8 |
Reachability in Networks of Register Protocols under Stochastic Schedulers |
Bouyer, Patricia et al. |
2016 |
| 9 |
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems |
Fribourg, Laurent et al. |
2015 |
| 10 |
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) |
Chatterjee, Krishnendu et al. |
2015 |
| 11 |
On the Value Problem in Weighted Timed Games |
Bouyer, Patricia et al. |
2015 |
| 12 |
Weighted Strategy Logic with Boolean Goals Over One-Counter Games |
Bouyer, Patricia et al. |
2015 |
| 13 |
Mixed Nash Equilibria in Concurrent Terminal-Reward Games |
Bouyer, Patricia et al. |
2014 |
| 14 |
Synchronizing Words for Weighted and Timed Automata |
Doyen, Laurent et al. |
2014 |
| 15 |
Nash Equilibria in Concurrent Games with Büchi Objectives |
Bouyer, Patricia et al. |
2011 |
| 16 |
Shrinking Timed Automata |
Sankur, Ocan et al. |
2011 |
| 17 |
ATL with Strategy Contexts: Expressiveness and Model Checking |
Da Costa, Arnaud et al. |
2010 |
| 18 |
Computing Rational Radical Sums in Uniform TC^0 |
Hunter, Paul et al. |
2010 |
| 19 |
On Termination for Faulty Channel Machines |
Bouyer, Patricia et al. |
2008 |
