Not finding it? Sign in to also search OpenAlex live.
-
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 -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
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 -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
What rationale would work? Unfolding the role of learners’ attitudes and motivation in predicting learning engagement and perceived learning outcomes in MOOCs33citations