Follow
Philipp Schröer
Title
Cited by
Cited by
Year
Latticed -Induction with an Application to Probabilistic Programs
K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer
Computer Aided Verification. CAV 2020, 524-549, 2021
262021
A Deductive Verification Infrastructure for Probabilistic Programs
P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023
222023
PrIC3: Property Directed Reachability for MDPs
K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer
Computer Aided Verification. CAV 2020, 2020
212020
Symbolic Quantitative Information Flow for Probabilistic Programs
P Schröer, F Randone, R Pardo, A Wa̧sowski
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
2024
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja
arXiv preprint arXiv:2309.07781, 2023
2023
A deductive verifier for probabilistic programs
P Schroer
RWTH Aachen University, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–6