Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
How fast can a parent estimate the value of their children? A quantum algorithm for stochastic games2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Marien Raat, Merlin Incerti-Medici, James R. Wootton, Evert Van Nieuwenburg, Daniel Bultrini
0citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Optimizing and Comparing Quantum Resources of Statistical Phase Estimation and Krylov Subspace Diagonalization2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Oumarou Oumarou, Pauline J. Ollitrault, Stefano Polla, Christian Gogolin
0citations -
Parameterized quantum circuits as universal generative models for continuous multivariate distributions2025 npj Quantum Information article Computer Science Quantum Computing Algorithms and Architecture Open access
Alice Barthe, Michele Grossi, Sofia Vallecorsa, Jordi Tura, Vedran Dunjko
11citations -
An Adaptive Re-evaluation Method for Evolution Strategy under Additive Noise2025 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Catalin-Viorel Dinu, Yash J. Patel, Xavier Bonet-Monroig, Hao Wang
2citations