M Locatelli, F Schoen - EURO Journal on Computational Optimization, 2021 - Elsevier
Abstract Recent developments in (Global) Optimization are surveyed in this paper. We collected and commented quite a large number of recent references which, in our opinion …
D Eriksson, M Poloczek - International Conference on …, 2021 - proceedings.mlr.press
The global optimization of a high-dimensional black-box function under black-box constraints is a pervasive task in machine learning, control, and engineering. These …
This paper presents the improved version of the Lévy Flight Distribution (LFD) algorithm for solving real-valued numerical optimization problems. In the proposed algorithm, the Fitness …
This report presents the results from the 2021 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
This report presents the results from the 2020 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
This report presents the results from the 2022 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
This work is in the field of requirements driven search-based test case generation methods for Cyber-Physical Systems (CPS). The basic characteristic of search-based testing methods …
L Mathesen, G Pedrielli… - 2021 IEEE 17th …, 2021 - ieeexplore.ieee.org
Optimization-based falsification, or search-based testing, is a method of automatic test generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …