Joost-Pieter Katoen

9 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×3 OOPSLA ×2 AAAI ×1 AAMAS ×1 POPL ×1 UAI ×1

Frequent coauthors

Kevin Batz

×3

Tobias Winkler

×3

Tim Quatmann

×2

Raphaël Berthon

×2

Munyque Mittelmann

×2

Aniello Murano

×2

Philipp Schröer

×1

Matthias Volk

×1

Linus Heck

×1

Sebastian Junges

×1

Daniel Zilken

×1

Francesca Randone

×1

Papers

Highly Incremental: A Simple Programmatic Approach for Many Objectives
FM 2026 ·
Philipp Schröer
, Joost-Pieter Katoen
Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm
FM 2026 ·
Matthias Volk
,
Linus Heck
,
Sebastian Junges
, Joost-Pieter Katoen,
Tim Quatmann
Verifying Sampling Algorithms via Distributional Invariants
FM 2026 ·
Daniel Zilken
,
Kevin Batz
, Joost-Pieter Katoen,
Tobias Winkler
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
OOPSLA 2025 ·
Kevin Batz
, Joost-Pieter Katoen,
Francesca Randone
,
Tobias Winkler
Multi-Cost-Bounded Reachability Analysis of POMDPs
UAI 2025 ·
Alexander Bork
, Joost-Pieter Katoen,
Tim Quatmann
,
Svenja Stein
Robust Strategies for Stochastic Multi-Agent Systems
AAMAS 2025 ·
Raphaël Berthon
, Joost-Pieter Katoen,
Munyque Mittelmann
,
Aniello Murano
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
OOPSLA 2024 ·
Lutz Klinkenberg
,
Christian Blumenthal
,
Mingshuai Chen
,
Darion Haase
, Joost-Pieter Katoen
Natural Strategic Ability in Stochastic Multi-Agent Systems
AAAI 2024 ·
Raphaël Berthon
, Joost-Pieter Katoen,
Munyque Mittelmann
,
Aniello Murano
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
POPL 2024 ·
Kevin Batz
,
Tom Jannik Biskup
, Joost-Pieter Katoen,
Tobias Winkler