Hybrid Systems: From Verification to Falsification
From MaRDI portal
Publication:5429337
DOI10.1007/978-3-540-73368-3_48zbMath1135.68479MaRDI QIDQ5429337
Moshe Y. Vardi, Erion Plaku, Lydia E. Kavraki
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_48
68Q60: Specification and verification (program logics, model checking, etc.)
68T40: Artificial intelligence for robotics
Related Items
Hybrid systems: From verification to falsification by combining motion planning and discrete search, Coverage-guided test generation for continuous and hybrid systems, Falsification of LTL Safety Properties in Hybrid Systems, Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate