Miriam Garcia Soto

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 9

Top Topics

Formal Verification

Coefficient Matrix

Stability Analysis

Top Venues

Publications

Miriam Garcia Soto, Pavithra Prabhakar
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. HSCC (2018)
Pavithra Prabhakar, Miriam Garcia Soto
Formal Synthesis of Stabilizing Controllers for Switched Systems. HSCC (2017)
Pavithra Prabhakar, Miriam Garcia Soto
Counterexample Guided Abstraction Refinement for Stability Analysis. CAV (1) (2016)
Pavithra Prabhakar, Miriam Garcia Soto
Hybridization for Stability Analysis of Switched Linear Systems. HSCC (2016)
Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal
Verification Techniques for Hybrid Systems. ISoLA (2) (2016)
Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to global asymptotic stability verification of hybrid systems. EMSOFT (2016)
Pavithra Prabhakar, Miriam Garcia Soto
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. SNR@CAV (2015)
Pavithra Prabhakar, Miriam Garcia Soto
AVERIST: An Algorithmic Verifier for Stability. Electron. Notes Theor. Comput. Sci. 317 (2015)
Pavithra Prabhakar, Miriam Garcia Soto
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. VMCAI (2015)
Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to stability verification of polyhedral switched systems. ACC (2014)
Pavithra Prabhakar, Miriam Garcia Soto
Abstraction Based Model-Checking of Stability of Hybrid Systems. CAV (2013)