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

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