Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.

Sota Sato Masaki Waga Ichiro Hasuo

Published in: ADHS (2021)

Keyphrases

constrained optimization
objective function
constrained optimization problems
constraint handling
neural network
iterative methods
inequality constraints
penalty functions