Constrained Optimization for Falsification and Conjunctive Synthesis.
Sota SatoMasaki WagaIchiro HasuoPublished in: CoRR (2020)
Keyphrases
- constrained optimization
- constraint handling
- constrained optimization problems
- unconstrained optimization
- objective function
- penalty function
- lagrange multipliers
- evolutionary strategy
- augmented lagrangian
- genetic programming
- interval analysis
- inequality constraints
- iterative methods
- stationary points
- semi parametric
- closed form solutions
- lagrange multiplier method