Search Results for author: Miriam García Soto

Found 1 papers, 1 papers with code

Synthesis of Parametric Hybrid Automata from Time Series

1 code implementation • 13 Jul 2022 • Miriam García Soto, Thomas A. Henzinger, Christian Schilling

We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data.

Time Series Time Series Analysis

0

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.