10 citations · 13 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi +2
A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables…
cs.FL2017
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…