Pages that link to "Item:Q4934885"
From MaRDI portal
The following pages link to An expectation-transformer model for probabilistic temporal logic (Q4934885):
Displaying 4 items.
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- Almost-certain eventualities and abstract probabilities in the temporal logic PTL (Q2703741) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)