Searching for "A Probabilistic Dynamic Logic." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Towards Dynamic Probabilistic Logics: A Survey and a Proposal
- …Towards Dynamic Probabilistic Logics: A Survey and a Proposal Abstract In this paper, I…
- Add To MetaCart
-
An Analysis of First-Order Logics of Probability
- …, Fel84] considered a probabilistic dynamic logic, which extends first-order dynamic logic by adding…
- Cited by 210 (16 self) – Add To MetaCart
-
Decidability and Expressiveness for First-Order Logics of Probability
- … and Harel [FH84, Fel84] considered a probabilistic dynamic logic, which extends first-order dynamic logic…
- Cited by 34 (5 self) – Add To MetaCart
-
Reasoning about probabilistic sequential programs ∗
- …. The first sound Hoare logic for probabilistic programs was given in [31] using a truth-functional state…
- Cited by 3 (3 self) – Add To MetaCart
-
Reasoning about states of probabilistic sequential programs
- … this problem, a probabilistic dynamic logic is given in [17] with an arithmetical state assertion logic…
- Cited by 5 (3 self) – Add To MetaCart
-
Verifying Probabilistic Programs Using A Hoare Like Logic
- …] a probabilistic dynamic logic in which arithmetical laws govern the program analysis. The thesis…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 6.
