Verifying Hybrid Systems Involving Transcendental Functions

Paul Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson. Verifying Hybrid Systems Involving Transcendental Functions. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Volume 8430 of Lecture Notes in Computer Science, pages 188-202, Springer, 2014. [doi]

Abstract

Abstract is missing.