Todd W. Neller. Heuristic Optimizaton and Dynamical System Safety Verification. In Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry, editors, Hybrid Systems V. Volume 1567 of Lecture Notes in Computer Science, pages 251-261, Springer, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.