Pages that link to "Item:Q2703741"
From MaRDI portal
The following pages link to Almost-certain eventualities and abstract probabilities in the temporal logic PTL (Q2703741):
Displaying 4 items.
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- Stochastic temporal logic abstractions: challenges and opportunities (Q1631212) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)