research
∙
05/16/2022
A model aggregation approach for high-dimensional large-scale optimization
Bayesian optimization (BO) has been widely used in machine learning and ...
share
research
∙
10/20/2021
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
Requirements driven search-based testing (also known as falsification) h...
research
∙
06/04/2021
