Login / Signup

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

Pavithra PrabhakarMiriam Garcia Soto
Published in: VMCAI (2015)
Keyphrases