Formal Methods in Verification
0 works · 0 citations
Research Topic
This cluster of papers focuses on the application of evolutionary algorithms, surrogate modeling, and optimization techniques to solve multiobjective optimization problems. It covers topics such as genetic algorithms, Pareto fronts, Bayesian optimization, and the use of surrogate models like Kriging for engineering design.
Physical Sciences / Computer Science / Computational Theory and Mathematics