2 results
7 - Termination Analysis of Probabilistic Programs with Martingales
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 221-258
-
- Chapter
-
- You have access
- Open access
- Export citation
OBLIGATION BLACKWELL GAMES AND P-AUTOMATA
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 420-452
- Print publication:
- June 2017
-
- Article
- Export citation