No. Title Author Year
1 Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives Brihaye, Thomas et al. 2019
2 The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games Brihaye, Thomas et al. 2019
3 Timed-Automata-Based Verification of MITL over Signals Brihaye, Thomas et al. 2017
4 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
5 Quantitative Games under Failures Brihaye, Thomas et al. 2015
6 Simple Priced Timed Games are not That Simple Brihaye, Thomas et al. 2015
7 To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games Brihaye, Thomas et al. 2015
8 Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability Brihaye, Thomas et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Imprint | Privacy Published by LZI