Takip et
Philipp Schröer
Philipp Schröer
RWTH Aachen University
cs.rwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
182021
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–5