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


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