Login / Signup
Synthesis of Parametric Hybrid Automata from Time Series.
Miriam García Soto
Thomas A. Henzinger
Christian Schilling
Published in:
CoRR (2022)
Keyphrases
</>
hybrid automata
finite state automata
program synthesis
non stationary
dynamic time warping
multivariate time series
machine learning
symbolic representation
texture synthesis
reinforcement learning
logic programs
stock market
autoregressive
finite state machines
chronic hepatitis