Not finding it? Sign in to also search OpenAlex live.
-
TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming2025 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Evolutionary Algorithms and Applications Open access
Roman Kalkreuth, Fabrício Olivetti de França, Anja Jankovič, Marie Anastacio, Zdeněk Vašíček, Holger H. Hoos
3citations -
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Portable High-level Agent Programming with golog++2021 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science AI-based Problem Solving and Planning Open access
Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
0citations