Reachability Verification for Hybrid Automata (1998)

by Thomas A. Henzinger , Vlad Rusu
Venue:HSCC 98: HYBRID SYSTEMS—COMPUTATION AND CONTROL, LECTURE NOTES IN COMPUTER SCIENCE 1386
Citations:9 - 0 self