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
1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.” In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717 .
View
| DOI