Philipp Schröer

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Functional Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. CoRR (2023)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CoRR (2021)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CAV (2) (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CoRR (2020)