No. Title Author Year
1 Making Metric Temporal Logic Rational Krishna, Shankara Narayanan et al. 2017
2 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
3 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
4 FO-Definable Transformations of Infinite Strings Dave, Vrunda et al. 2016
5 Mean-Payoff Games on Timed Automata Guha, Shibashis et al. 2016
6 Stochastic Timed Games Revisited Akshay, S. et al. 2016
7 Revisiting Robustness in Priced Timed Games Guha, Shibashis et al. 2015
8 First-order Definable String Transformations Filiot, Emmanuel et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI