Pages that link to "Item:Q868030"
From MaRDI portal
The following pages link to Quantitative temporal logics over the reals: PSpace and below (Q868030):
Displaying 9 items.
- Incremental classification of description logics ontologies (Q972428) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On the Priorean temporal logic with [<i>d</i>] over the real line (Q2826035) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
