No. Title Author Year
1 Concurrent Parameterized Games Bertrand, Nathalie et al. 2019
2 Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism Bouyer, Patricia et al. 2019
3 On the Computation of Nash Equilibria in Games on Graphs (Invited Talk) Bouyer, Patricia 2019
4 Reconfiguration and Message Losses in Parameterized Broadcast Networks Bertrand, Nathalie et al. 2019
5 Dependences in Strategy Logic Gardy, Patrick et al. 2018
6 Finite Bisimulations for Dynamical Systems with Overlapping Trajectories Bérard, Béatrice et al. 2018
7 Unbounded Product-Form Petri Nets Bouyer, Patricia et al. 2017
8 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
9 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
10 Stochastic Timed Games Revisited Akshay, S. et al. 2016
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 Nash Equilibria in Concurrent Games with Büchi Objectives Bouyer, Patricia et al. 2011
15 Shrinking Timed Automata Sankur, Ocan et al. 2011
16 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
17 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 17


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