No. Title Author Year
1 Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism Bouyer, Patricia et al. 2019
2 On the Computation of Nash Equilibria in Games on Graphs (Invited Talk) Bouyer, Patricia 2019
3 Reconfiguration and Message Losses in Parameterized Broadcast Networks Bertrand, Nathalie et al. 2019
4 Dependences in Strategy Logic Gardy, Patrick et al. 2018
5 Finite Bisimulations for Dynamical Systems with Overlapping Trajectories Bérard, Béatrice et al. 2018
6 Unbounded Product-Form Petri Nets Bouyer, Patricia et al. 2017
7 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
8 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
9 Stochastic Timed Games Revisited Akshay, S. et al. 2016
10 On the Value Problem in Weighted Timed Games Bouyer, Patricia et al. 2015
Current Page :
Number of result pages: 2
Number of documents: 16


DROPS-Home | Imprint | Privacy Published by LZI