Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont. Computing the viability kernel using maximal reachable sets. 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 55-64, ACM, 2012. [doi]
Abstract is missing.