Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Experimental Results for the study "The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems"2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze
0citations -
Experimental Results for the study "The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems"2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze
0citations
10 results