Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto

Browse the full VMCAI paper archive.