No. Title Author Year
1 Parameterized Safety Verification of Round-Based Shared-Memory Systems Bertrand, Nathalie et al. 2022
2 Semilinear Representations for Series-Parallel Atomic Congestion Games Bertrand, Nathalie et al. 2022
3 The Variance-Penalized Stochastic Shortest Path Problem Piribauer, Jakob et al. 2022
4 Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking Piribauer, Jakob et al. 2021
5 Dynamic Network Congestion Games Bertrand, Nathalie et al. 2020
6 Admissibility in Games with Imperfect Information (Invited Talk) Brenguier, Romain et al. 2017
7 Admissiblity in Concurrent Games Basset, Nicolas et al. 2017
8 Admissibility in Quantitative Graph Games Brenguier, Romain et al. 2016
9 Assume-Admissible Synthesis Brenguier, Romain et al. 2015
10 Multiple-Environment Markov Decision Processes Raskin, Jean-Francois et al. 2014
11 Shrinking Timed Automata Sankur, Ocan et al. 2011
12 Online Correlation Clustering Mathieu, Claire et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 12

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