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
172021
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
142020
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
12023
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
PrIC3: Property Directed Reachability for MDPs
JP Katoen, C Matheja, P Schröer
The system can't perform the operation now. Try again later.
Articles 1–5