Pages that link to "Item:Q1125686"
From MaRDI portal
The following pages link to Probabilistic duration calculus for continuous time (Q1125686):
Displaying 9 items.
- Duration calculus: Logical foundations (Q1377324) (← links)
- Unification of probability theory on time scales (Q1690900) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- (Q4714224) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)