Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.

Johan Lidén Eddeland Sajed Miremadi Knut Åkesson

Published in: ARCH (2020)

Keyphrases

optimization problems
global optimization
constrained optimization
robust optimization
optimization algorithm
optimization process
formal semantics
databases
neural network
semantic information
conceptual model
partial occlusion
transformation rules