Pages that link to "Item:Q5897789"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897789):
Displaying 20 items.
- Metric temporal logic revisited (Q266865) (← links)
- Deciding safety and liveness in TPTL (Q402360) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← 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)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- On the Expressiveness of MTL Variants over Dense Time (Q3510842) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009457) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- MTL and TPTL for One-Counter Machines (Q5216144) (← links)
- (Q5376664) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
- Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)
