Подписаться
Philipp Schröer
Philipp Schröer
RWTH Aachen University
Подтвержден адрес электронной почты в домене cs.rwth-aachen.de - Главная страница
Название
Процитировано
Процитировано
Год
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–5