The following pages link to Probabilistic Temporal Logics (Q5024714):
Displaying 6 items.
- Stochastic temporal logic abstractions: challenges and opportunities (Q1631212) (← links)
- PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems (Q2821447) (← links)
- (Q3157529) (← links)
- (Q4714224) (← links)
- (Q4965871) (← links)
- Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Q5034220) (← links)