Thesis
Probabilistic verification beyond context-freeness
- Abstract:
-
Probability theory and probabilistic modelling have become indispensable across a wide range of scientific disciplines, with probabilistic programs emerging as a particularly flexible means of encoding sophisticated models in executable code. These programs, which merge traditional programming constructs with probabilistic reasoning, play a pivotal role in areas such as machine learning and systems biology. However, as these programs gain prominence, the demand for robust verification meth...
Expand abstract
Actions
Access Document
- Files:
-
-
(Preview, Dissemination version, pdf, 2.2MB, Terms of use)
-
Authors
Contributors
+ Murawski, A
- Institution:
- University of Oxford
- Division:
- MPLS
- Department:
- Computer Science
- Role:
- Supervisor
+ Ong, L
- Role:
- Supervisor
+ Worrell, J
- Institution:
- University of Oxford
- Division:
- MPLS
- Department:
- Computer Science
- Role:
- Examiner
+ Totzke, P
- Role:
- Examiner
- DOI:
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
- Language:
-
English
- Keywords:
- Subjects:
- Deposit date:
-
2024-12-17
- ARK identifier:
Terms of use
- Copyright holder:
- Li, G
- Copyright date:
- 2024
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record