ASEP Publikace TopDeg (2012) Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation (2010)
