No. Title Author Year
1 Temporal Logics for Multi-Agent Systems (Invited Talk) Markey, Nicolas 2017
2 On the Expressiveness of QCTL David, Amélie et al. 2016
3 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
4 Game-based Synthesis of Distributed Controllers for Sampled Switched Systems Fribourg, Laurent et al. 2015
5 Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) Chatterjee, Krishnendu et al. 2015
6 On the Value Problem in Weighted Timed Games Bouyer, Patricia et al. 2015
7 Weighted Strategy Logic with Boolean Goals Over One-Counter Games Bouyer, Patricia et al. 2015
8 Mixed Nash Equilibria in Concurrent Terminal-Reward Games Bouyer, Patricia et al. 2014
9 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
10 Nash Equilibria in Concurrent Games with Büchi Objectives Bouyer, Patricia et al. 2011
Current Page :
Number of result pages: 2
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint Published by LZI