Synthesis of Parametric Hybrid Automata from Time Series.

Miriam García Soto Thomas A. Henzinger Christian Schilling

Published in: ATVA (2022)

Keyphrases

hybrid automata
finite state automata
dynamic time warping
parametric models
non stationary
program synthesis
chronic hepatitis
database systems
computational complexity
data mining tasks
finite state machines
multivariate time series