Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. What's decidable about recursive hybrid automata?. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 31-40, ACM, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.