Heuristic Optimizaton and Dynamical System Safety Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Todd W. Neller' in Google

runs on WebDSL