Publication January 1, 2010 Conference PaperTheory of Reals for Verification and Synthesis of Hybrid Dynamical Systems SRI International January 1, 2010 ↓ View online Share this