Not finding it? Sign in to also search OpenAlex live.
-
Per-Run Algorithm Selection with Warm-starting using Trajectory-based Features - Data2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access
Anja Jankovič, Ana Kostovska, Diederick Vermetten, Jacob de Nobel, Hao Wang, Tome Eftimov, +1 more
1citations -
Per-Run Algorithm Selection with Warm-starting using Trajectory-based Features - Data2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access
Anja Jankovič, Ana Kostovska, Diederick Vermetten, Jacob de Nobel, Hao Wang, Tome Eftimov, +1 more
0citations -
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, József Kovács, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations
9 results