The following pages link to (Q4230338):
Displaying 14 items.
- Untiming timed languages (Q672021) (← links)
- Timed hyperproperties (Q821560) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- The expressive power of clocks (Q4645197) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Removing ε-transitions in timed automata (Q5048956) (← links)
- Zeno, Hercules, and the Hydra (Q5277917) (← links)
- (Q5376664) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
