Miriam García Soto

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Piecewise Affine

Finite State Automata

Chronic Hepatitis

Program Synthesis

Top Venues

Publications

Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. ATVA (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. CoRR (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. CoRR (2021)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of hybrid automata with affine dynamics from time-series data. HSCC (2021)
Miriam García Soto, Pavithra Prabhakar
Hybridization for Stability Verification of Nonlinear Switched Systems. RTSS (2020)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) (2019)