Synthesis of memory-efficient "real-time" controllers for safety objectives

Article CLOSED
Krishnendu Chatterjee ; Vinayak Prabhu (2011)
Share - Bookmark