Miriam Garcia Soto

11 papers A* 1B 1C 1Misc 1Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — conf
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems.
HSCC
Miriam Garcia Soto, Pavithra Prabhakar
2017 — conf
Formal Synthesis of Stabilizing Controllers for Switched Systems.
HSCC
Pavithra Prabhakar, Miriam Garcia Soto
2016 Misc conf
An algorithmic approach to global asymptotic stability verification of hybrid systems.
EMSOFT
Pavithra Prabhakar, Miriam Garcia Soto
2016 — conf
Counterexample Guided Abstraction Refinement for Stability Analysis.
CAV (1)
Pavithra Prabhakar, Miriam Garcia Soto
2016 — conf
Hybridization for Stability Analysis of Switched Linear Systems.
HSCC
Pavithra Prabhakar, Miriam Garcia Soto
2016 — conf
Verification Techniques for Hybrid Systems.
ISoLA (2)
Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal
2015 — conf
AVERIST: An Algorithmic Verifier for Stability.
NSV
Pavithra Prabhakar, Miriam Garcia Soto
2015 — conf
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.
SNR@CAV
Pavithra Prabhakar, Miriam Garcia Soto
2015 B conf
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems.
VMCAI
Pavithra Prabhakar, Miriam Garcia Soto
2014 C conf
An algorithmic approach to stability verification of polyhedral switched systems.
ACC
Pavithra Prabhakar, Miriam Garcia Soto
2013 A* conf
Abstraction Based Model-Checking of Stability of Hybrid Systems.
CAV
Pavithra Prabhakar, Miriam Garcia Soto