Parallel and Multi-objective Falsification with Scenic and VerifAI.
Kesav ViswanadhaEdward KimFrancis IndahengDaniel J. FremontSanjit A. SeshiaPublished in: RV (2021)
Keyphrases
- multi objective
- evolutionary algorithm
- optimization algorithm
- multi objective optimization
- genetic algorithm
- objective function
- multiobjective optimization
- parallel processing
- multiple objectives
- conflicting objectives
- evolutionary optimization
- pareto optimal
- particle swarm optimization
- parallel implementation
- multi objective evolutionary
- parallel programming
- shared memory
- multi criteria
- nsga ii
- genetic programming
- linear programming
- bi objective
- distributed memory
- website
- social networks
- data sets
- multi objective optimization problems
- optimum design
- multiobjective evolutionary algorithm
- database