CM
Christoph Matheja
cs.LOcs.PLcs.AI
On Valency
published · living versionsW_g7t38hu6·v1 · currentpublished
Countable Nondeterminism in Weighted Programming with an Application to Mechanized Foundations for Probabilistic Program Verification
with Sebastian Körner, Oliver Emil Bøving
1 version
Preprints & journals
23 papers in the corpus · 2016–2026Scaling Observation-aware Planning in Uncertain Domains2605.22364v1 · Adrian Zvizdenco, Arthur Conrado Veiga Bosquetti, Alberto Lluch Lafuente et al.2026 · 0 citationsarXiv
Caesar: A Deductive Verifier for Probabilistic Programs2605.15827v1 · Philipp Schroer, Kevin Batz, Umut Yigit Dural et al.2026 · 0 citationsarXiv
CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)2601.15756v1 · Roberto Pettinau, Christoph Matheja2026 · 0 citationsarXiv
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)2411.16564v1 · Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja et al.2024 · 2 citationsarXiv
Data Petri Nets meet Probabilistic Programming (Extended version)2406.11883v1 · Martin Kuhn, Joscha Gruger, Christoph Matheja et al.2024 · 0 citationsarXiv
What should be observed for optimal reward in POMDPs?2405.10768v2 · Alyzia-Maria Konsta, Alberto Lluch Lafuente, Christoph Matheja2024 · 2 citationsarXiv
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)2309.07781v3 · Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski et al.2023 · 22 citationsarXiv
A Calculus for Amortized Expected Runtimes2211.12923v1 · Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.2022 · 22 citationsarXiv
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2205.06152v2 · Kevin Batz, Mingshuai Chen, Sebastian Junges et al.2022 · 32 citationsarXiv
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2201.11464v1 · Kevin Batz, Ira Fesefeldt, Marvin Jansen et al.2022 · 0 citationsarXiv
Flexible Refinement Proofs in Separation Logic2110.13559v1 · Aurea B'il'a, Christoph Matheja, Peter Muller2021 · 0 citationsarXiv
Latticed -Induction with an Application to Probabilistic Programs2105.14100v1 · Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski et al.2021 · 21 citationsarXiv
Relatively Complete Verification of Probabilistic Programs2010.14548v2 · Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.2020 · 0 citationsarXiv
PrIC3: Property Directed Reachability for MDPs2004.14835v2 · Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski et al.2020 · 15 citationsarXiv
A Decision Procedure for Guarded Separation Logic: Complete Entailment Checking for Separation Logic with Inductive Definitions2002.01202v3 · Jens Pagel, Christoph Matheja, Florian Zuleger2020 · 10 citationsarXiv
A Pre-Expectation Calculus for Probabilistic Sensitivity1901.06540v2 · Alejandro Aguirre, Gilles Barthe, Justin Hsu et al.2019 · 21 citationsarXiv
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times1802.10433v1 · Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.2018 · 10 citationsarXiv
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs1802.10467v4 · Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.2018 · 44 citationsProc. ACM Program. Lang. 3, POPL, Article 34 (January 2019)
Graph-Based Shape Analysis Beyond Context-Freeness1705.03754v3 · Hannah Arndt, Christina Jansen, Christoph Matheja et al.2017 · 2 citationsarXiv
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic1610.07041v1 · Christina Jansen, Jens Katelaan, Christoph Matheja et al.2016 · 16 citationsarXiv
Inferring Covariances for Probabilistic Programs1606.08280v1 · Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja2016 · 11 citationsarXiv
Reasoning about Recursive Probabilistic Programs1603.02922v1 · Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.2016 · 87 citationsarXiv
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs1601.01001v2 · Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja et al.2016 · 120 citationsarXiv
Career total: 73 works. 23 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.