Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura. Transcendental inductive invariants generation for non-linear differential and hybrid systems. In Thao Dang, Ian M. Mitchell, editors, Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. pages 25-34, ACM, 2012. [doi]
No reviews for this publication, yet.