Papers matching “probabilistic verification” 161
Not finding it? Sign in to also search OpenAlex live.
-
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 -
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 -
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 -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
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 -
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods0citations
-
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
1citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations