Research Topics

Algorithmic Verification of Stability

Hybridization + CEGAR for Safety Analysis

Formal Synthesis of Hybrid Systems

Bounded Error Approximations