The following pages link to A probabilistic dynamic logic (Q792757):
Displaying 15 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- A probabilistic PDL (Q1063584) (← links)
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change (Q1321053) (← links)
- Reasoning about probabilistic sequential programs in a probabilistic logic (Q1424351) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- A dynamic hybrid logic for followership (Q2291257) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
