The following pages link to (Q4824483):
Displaying 27 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Metric temporal logic revisited (Q266865) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- Temporal logics with incommensurable distances are undecidable (Q879597) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Decidable metric logics (Q999264) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← 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)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Advances in Parametric Real-Time Reasoning (Q2922008) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Decidability and Expressive Power of Real Time Logics (Q3511220) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- (Q5376664) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- Decidability of the initial-state opacity of real-time automata (Q6165768) (← links)
