No. Title Author Year
1 Dependences in Strategy Logic Gardy, Patrick et al. 2018
2 Temporal Logics for Multi-Agent Systems (Invited Talk) Markey, Nicolas 2017
3 On the Expressiveness of QCTL David, Amélie et al. 2016
4 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
5 Game-based Synthesis of Distributed Controllers for Sampled Switched Systems Fribourg, Laurent et al. 2015
6 Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) Chatterjee, Krishnendu et al. 2015
7 On the Value Problem in Weighted Timed Games Bouyer, Patricia et al. 2015
8 Weighted Strategy Logic with Boolean Goals Over One-Counter Games Bouyer, Patricia et al. 2015
9 Mixed Nash Equilibria in Concurrent Terminal-Reward Games Bouyer, Patricia et al. 2014
10 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
11 Nash Equilibria in Concurrent Games with Büchi Objectives Bouyer, Patricia et al. 2011
12 Shrinking Timed Automata Sankur, Ocan et al. 2011
13 ATL with Strategy Contexts: Expressiveness and Model Checking Da Costa, Arnaud et al. 2010
14 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
15 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 15


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