A Aralex Aachen research explorer

February 08, 2019 dissertation Open access

Advanced weakest precondition calculi for probabilistic programs

UCL Discovery (University College London)

Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 6 stored of 14

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
2022 Information Sciences article Computer Science Formal Methods in Verification Open access

3

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

21

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

12

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

0

citations
PrIC3: Property Directed Reachability for MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

15

citations
Weakest Preexpectation Semantics for Bayesian Inference
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

5

citations

6 results

References 0