No. Title Author Year
1 FO-Definable Transformations of Infinite Strings Dave, Vrunda et al. 2016
2 Mean-Payoff Games on Timed Automata Guha, Shibashis et al. 2016
3 Stochastic Timed Games Revisited Akshay, S. et al. 2016
4 Revisiting Robustness in Priced Timed Games Guha, Shibashis et al. 2015
5 First-order Definable String Transformations Filiot, Emmanuel et al. 2014
6 Average-Time Games Jurdzinski, Marcin et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Imprint | Privacy Published by LZI