Sign in

Membership-Based Synthesis of Linear Hybrid Automata.

Miriam García SotoThomas A. HenzingerChristian SchillingLuka 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