Παρακολούθηση
Philipp Schröer
Philipp Schröer
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα 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
252021
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
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
172023
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–5