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 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
LACE: Code and Data Supplement for Evolving Executable Pipeline Programs for AutoML with Language Models2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Sofoklis Kitharidis, Bas van Stein, Cor J. Veenman, Jan N. van Rijn
0citations -
LACE: Code and Data Supplement for Evolving Executable Pipeline Programs for AutoML with Language Models2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Sofoklis Kitharidis, Bas van Stein, Cor J. Veenman, Jan N. van Rijn
0citations
13 results