Kevin Batz

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 24

Top Topics

Mathematical Model

Symbolic Execution

Uncertain Knowledge

Progressive Sampling

Top Venues

Proc. ACM Program. Lang.

Publications

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. Proc. ACM Program. Lang. 7 (POPL) (2023)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. CoRR (2023)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) (2023)
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. CoRR (2023)
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Weighted Programming. CoRR (2022)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR (2022)
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Weighted programming: a programming paradigm for specifying mathematical models. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP (2022)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. CoRR (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR (2022)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. Proc. ACM Program. Lang. 5 (POPL) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CoRR (2021)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CAV (2) (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. LOPSTR (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CoRR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. CoRR (2020)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Relatively Complete Verification of Probabilistic Programs. CoRR (2020)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. CoRR (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative Separation Logic. CoRR (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. ESOP (2018)