Abstraction Based Model-Checking of Stability of Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto (CAV, 2013)

An algorithmic approach to stability verification of polyhedral switched systems. - Pavithra Prabhakar; Miriam Garcia Soto (ACC, 2014)

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. - Pavithra Prabhakar; Miriam Garcia Soto (SNR@CAV, 2015)

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto (VMCAI, 2015)

AVERIST: An Algorithmic Verifier for Stability. - Pavithra Prabhakar; Miriam Garcia Soto (NSV, 2015)

Counterexample Guided Abstraction Refinement for Stability Analysis. - Pavithra Prabhakar; Miriam Garcia Soto (CAV (1), 2016)

An algorithmic approach to global asymptotic stability verification of hybrid systems. - Pavithra Prabhakar; Miriam Garcia Soto (EMSOFT, 2016)

Hybridization for Stability Analysis of Switched Linear Systems. - Pavithra Prabhakar; Miriam Garcia Soto (HSCC, 2016)

Verification Techniques for Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto; Ratan Lal (ISoLA (2), 2016)

Formal Synthesis of Stabilizing Controllers for Switched Systems. - Pavithra Prabhakar; Miriam Garcia Soto (HSCC, 2017)

An Algorithmic Approach for Stability Verification of Hybrid Systems. - Miriam García Soto (2017)

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. - Miriam Garcia Soto; Pavithra Prabhakar (HSCC, 2018)

Membership-Based Synthesis of Linear Hybrid Automata. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001; Luka Zeleznik (CAV (1), 2019)

Hybridization for Stability Verification of Nonlinear Switched Systems. - Miriam García Soto; Pavithra Prabhakar (RTSS, 2020)

Synthesis of hybrid automata with affine dynamics from time-series data. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001 (HSCC, 2021)

Synthesis of Parametric Hybrid Automata from Time Series. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001 (ATVA, 2022)