Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.

Luca de Alfaro, Arjun Kapur, Zohar Manna

Browse the full STACS paper archive.