Hybrid systems: From verification to falsification by combining motion planning and discrete search
scientific article; zbMATH DE number 5637096
scientific article