Verification Techniques for Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal

Browse the full ISoLA paper archive.