Goran Frehse, Rajarshi Ray 0001. Design Principles for an Extendable Verification Tool for Hybrid Systems. In Alessandro Giua, Cristian Mahulea, Manuel Silva 0001, Janan Zaytoon, editors, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. Volume 42 of IFAC Proceedings Volumes, pages 244-249, Elsevier, 2009. [doi]
Abstract is missing.