Pages that link to "Item:Q5756667"
From MaRDI portal
The following pages link to An Expressive Temporal Logic for Real Time (Q5756667):
Displaying 20 items.
- Metric temporal logic revisited (Q266865) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- (Q2753788) (← links)
- Metric Temporal Logic with Counting (Q2811351) (← links)
- Advances in Parametric Real-Time Reasoning (Q2922008) (← links)
- (Q3384172) (← links)
- Decidability and Expressive Power of Real Time Logics (Q3511220) (← links)
- Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- (Q4824483) (← links)
- (Q4837953) (← links)
- (Q5009457) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)
- (Q5376664) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897950) (← 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)