Conservative Hybrid Automata from Development Artifacts.

Niklas Metzger Sanny Schmitt Maximilian Schwenger

Published in: CoRR (2021)

Keyphrases

hybrid automata
neural network
expert systems
upper bound
data sets
case study
training data
high quality
sample size
decision rules
development environment
finite state automata