Parallel and Multi-Objective Falsification with Scenic and VerifAI.
Kesav ViswanadhaEdward KimFrancis IndahengDaniel J. FremontSanjit A. SeshiaPublished in: CoRR (2021)
Keyphrases
- multi objective
- multi objective optimization
- evolutionary algorithm
- multiobjective optimization
- optimization algorithm
- objective function
- particle swarm optimization
- multiple objectives
- genetic algorithm
- multi objective optimization problems
- parallel implementation
- parallel processing
- nsga ii
- distributed memory machines
- multi objective evolutionary
- bi objective
- pareto optimal
- differential evolution
- massively parallel
- parallel computing
- computer architecture
- search space
- trade off
- parallel computation
- multi objective evolutionary algorithms
- evolutionary optimization
- conflicting objectives
- real world
- optimum design
- multi criteria