Stefan Ratschan, Jan-Georg Smaus. Verification-Integrated Falsification of non-Deterministic Hybrid Systems. In Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon, editors, 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006. Volume 39 of IFAC Proceedings Volumes, pages 371-376, Elsevier, 2006. [doi]
Abstract is missing.