Towards an Efficient Tree Automata based technique for Timed Systems

S. Akshay, Paul Gastin, Shankara Narayanan Krishna +1

The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using c…