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
Current Page :
Number of result pages: 1
Number of documents: 19

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