learnability

Derivative-Agnostic Inference of Nonlinear Hybrid Systems
This paper addresses the problem of inferring hybrid automata from input-output traces of hybrid systems exhibiting discrete mode …
Cite Slides
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Learning One-Clock Timed Automata
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework …
PDF Cite Slides DOI Artifact Evaluated Best Paper Award @ FMAC 2019 Springer High-Impact Paper
Learning One-Clock Timed Automata