HARE

swMATH10938MaRDI QIDQ22890FDOQ22890

Author name not available (Why is that?)

Cited In (4)

• Hybrid automata-based CEGAR for rectangular hybrid systems
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
• Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems

This page was built for software: HARE