No. Title Author Year
1 Model-Free Reinforcement Learning for Stochastic Parity Games Hahn, Ernst Moritz et al. 2020
2 Weighted Transducers for Robustness Verification Filiot, Emmanuel et al. 2020
3 FO-Definable Transformations of Infinite Strings Dave, Vrunda et al. 2016
4 Mean-Payoff Games on Timed Automata Guha, Shibashis et al. 2016
5 Stochastic Timed Games Revisited Akshay, S. et al. 2016
6 Revisiting Robustness in Priced Timed Games Guha, Shibashis et al. 2015
7 First-order Definable String Transformations Filiot, Emmanuel et al. 2014
8 Average-Time Games Jurdzinski, Marcin et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 8

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