author-photo

Joost-Pieter Katoen

RWTH Aachen University
University of Twente
University of Erlangen-Nuremberg

518

Papers

17284

Citations

Citation Trend

Filter By

Papers (518) Sort By

Journal Conference Others

Fine-Tuning the Odds in Bayesian Networks

2021 ECSQARU | European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Bahare Salmani
- Joost-Pieter Katoen
Show All
- Source
- Cite
- Save
Citations (1)
A Pre-Expectation Calculus for Probabilistic Sensitivity

2021 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (4)
Relatively Complete Verification of Probabilistic Programs

2021 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (1)
The complexity of reachability in parametric Markov decision processes

2021 Journal of Computer and System Sciences
Show All
- Source
- Cite
- Save
Citations (4)
Model Checking Temporal Properties of Recursive Probabilistic Programs

2021 arXiv: Formal Languages and Automata Theory
Show All
- Source
- Cite
- Save
Citations (0)
Scalable Reliability Analysis by Lazy Verification

2021
Show All
- Source
- Cite
- Save
Citations (1)
Gradient-Descent for Randomized Controllers under Partial Observability

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Latticed $k$-Induction with an Application to Probabilistic Programs

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)
Probabilistic Data with Continuous Distributions

2021 SIGMOD | International Conference on Management of Data
Show All
- Source
- Cite
- Save
Citations (0)
Markov automata with multiple objectives

2021 Formal Methods in System Design
Show All
- Source
- Cite
- Save
Citations (0)