Hybrid automata-based CEGAR for rectangular hybrid systems
counter-example guided abstraction refinement
scientific article; zbMATH DE number 6502609
scientific article