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


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