Guided search for hybrid systems based on coarse-grained space abstractions
{{output}}
Hybrid systems represent an important and powerful formalism for modeling real-world applications such as embedded systems. A verification tool like SpaceEx is based on the exploration of a symbolic search space (the region space). As a verification tool, it i... ...
