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

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