Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1998 | Published | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. “Reachability Verification for Hybrid Automata.” Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View
| DOI