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 -
Euclid preparation. XCIII. Expected constraints on initial conditions2026 Springer Link (Chiba Institute of Technology) article Physics and Astronomy Cosmology and Gravitation Theories Open access
Fabio Finelli, Y. Akrami, A.A. Andrews, M. Ballardini, Santiago Casas, D. Karagiannis, +94 more
0citations -
Proposer of the vote of thanks to Waudy-Smith and Ramdas and contribution to the Discussion of ‘Estimating means of bounded random variables by betting’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 -
Correction to: The baryon cycle in modern cosmological hydrodynamical simulations2026 Monthly Notices of the Royal Astronomical Society erratum Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Ruby J. Wright, Rachel S. Somerville, Claudia del P. Lagos, Matthieu Schaller, Romeel Davé, Daniel Anglés‐Alcázar, +1 more
0citations