Safety verification of hybrid systems by constraint propagation based abstraction refinement (0)

by S Ratschan, Z She
Venue:ACM Transactions in Embedded Computing Systems