Hybrid automata-based CEGAR for rectangular hybrid systems Pavithra PrabhakarParasara Sridhar DuggiralaMahesh Viswanathan OriginalPaper 28 February 2015 Pages: 105 - 134
Optimization techniques for craig interpolant compaction in unbounded model checking Gianpiero CabodiCarmelo LoiaconoDanilo Vendraminetto OriginalPaper 20 April 2015 Pages: 135 - 162
Practical policy iterations Pierre RouxPierre-Loïc Garoche OriginalPaper 03 May 2015 Pages: 163 - 196