The following pages link to A probabilistic dynamic logic (Q792757):
Displaying 9 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)
- 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)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
