Membership-Based Synthesis of Linear Hybrid Automata.

Miriam García Soto Thomas A. Henzinger Christian Schilling Luka Zeleznik

Published in: CAV (1) (2019)

Keyphrases

hybrid automata
finite state automata
neural network
linear systems
closed form
positive and negative
linear constraints
program synthesis