Miriam García Soto

Most-cited papers

Abstraction Based Model-Checking of Stability of Hybrid Systems
Pavithra Prabhakar, Miriam García Soto
2013International Conference on Computer Aided Verification37 citations
Semantic Scholar
Counterexample Guided Abstraction Refinement for Stability Analysis
Pavithra Prabhakar, Miriam García Soto
2016International Conference on Computer Aided Verification22 citations
Semantic Scholar
Synthesis of hybrid automata with affine dynamics from time-series data
Miriam García Soto, T. Henzinger, Christian Schilling
2021International Conference on Hybrid Systems: Computation and Control17 citations Open access
Semantic Scholar
Membership-Based Synthesis of Linear Hybrid Automata
Miriam García Soto, T. Henzinger, Christian Schilling, Luka Zeleznik
2019International Conference on Computer Aided Verification16 citations Open access
Semantic Scholar
An algorithmic approach to stability verification of polyhedral switched systems
Pavithra Prabhakar, Miriam García Soto
2014American Control Conference13 citations
Semantic Scholar
AVERIST: An Algorithmic Verifier for Stability
Pavithra Prabhakar, Miriam García Soto
2015Numerical Software Verification10 citations Open access
Semantic Scholar
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
Pavithra Prabhakar, Miriam García Soto
2015International Conference on Verification, Model Checking and Abstract Interpretation7 citations
Semantic Scholar
Hybridization for Stability Verification of Nonlinear Switched Systems
Miriam García Soto, Pavithra Prabhakar
2020IEEE Real-Time Systems Symposium5 citations
Semantic Scholar
Synthesis of Parametric Hybrid Automata from Time Series
Miriam García Soto, T. Henzinger, Christian Schilling
2022Automated Technology for Verification and Analysis4 citations Open access
Semantic Scholar
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems
Miriam García Soto, Pavithra Prabhakar
2018International Conference on Hybrid Systems: Computation and Control3 citations
Semantic Scholar
An algorithmic approach to global asymptotic stability verification of hybrid systems
Pavithra Prabhakar, Miriam García Soto
2016International Conference on Embedded Software3 citations Open access
Semantic Scholar
Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems
A. Kundu, Miriam García Soto, Pavithra Prabhakar
2019International Conference on Intelligent Cloud Computing1 citations
Semantic Scholar
Demo abstract of AVERIST: Algorithmic veriﬁer of stability
Miriam García Soto
20151 citations
Semantic Scholar
A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers
Miriam García Soto, Pavithra Prabhakar
2025IEEE Conference on Decision and Control0 citations
Semantic Scholar
An Algorithmic Approach for Stability Verification of Hybrid Systems
Miriam García Soto
20170 citations Open access
Semantic Scholar
A cegar approach for stability verification of linear hybrid systems
Miriam García Soto, Pavithra Prabhakar
20170 citations
Semantic Scholar
AVERIST: Algorithmic Verifier of Stability
Miriam García Soto, Pavithra Prabhakar
20170 citations
Semantic Scholar
A cegar approach for stability verification of linear hybrid systems
Miriam García Soto
20170 citations
Semantic Scholar
Verification Techniques for Hybrid Systems
Pavithra Prabhakar, Miriam García Soto, Ratan Lal
2016Leveraging Applications of Formal Methods0 citations Open access
Semantic Scholar
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
Pavithra Prabhakar, Miriam García Soto
2015SNR@CAV0 citations Open access
Semantic Scholar