Pages that link to "Item:Q636345"
From MaRDI portal
The following pages link to The complexity of temporal logic over the reals (Q636345):
Displaying 15 items.
- Metric temporal logic revisited (Q266865) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- (Q5376664) (← links)
- Parametrized modal logic. II: The unidimensional case (Q6550519) (← links)
- Non-emptiness test for automata over words indexed by the reals and rationals (Q6666789) (← links)
