Optimizing bounded model checking for linear hybrid systems (0)

by E Ábrahám, B Becker, F Klaedtke, M Steffen