Philipp Schröer

20212022202320243 9 15 6

Accès public

2 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Christoph MathejaAssociate Professor, Technical University of Denmark (DTU)Adresse e-mail validée de dtu.dk
Kevin BatzPhD Student, RWTH Aachen UniversityAdresse e-mail validée de rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonAdresse e-mail validée de cs.uni-saarland.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresse e-mail validée de cs.rwth-aachen.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityAdresse e-mail validée de zju.edu.cn
Sebastian JungesAssistant Professor, Radboud University, NijmegenAdresse e-mail validée de ru.nl

Philipp Schröer

Adresse e-mail validée de cs.rwth-aachen.de - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	18	2021
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	14	2020
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	1	2023
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–5

Nombre de citations par an