Sign in

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

Sota SatoMasaki WagaIchiro Hasuo
Published in: ADHS (2021)
Keyphrases
  • constrained optimization
  • objective function
  • constrained optimization problems
  • constraint handling
  • neural network
  • iterative methods
  • inequality constraints
  • penalty functions