Pages that link to "Item:Q3613341"
From MaRDI portal
The following pages link to Reasoning About States of Probabilistic Sequential Programs (Q3613341):
Displaying 6 items.
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Exogenous probabilistic computation tree logic (Q2870286) (← links)
- Reasoning about Recursive Probabilistic Programs (Q4635928) (← links)
- Foundations of Software Science and Computational Structures (Q5705912) (← links)
- VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)