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


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