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

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