Pages that link to "Item:Q2266987"
From MaRDI portal
The following pages link to On the expressiveness of TPTL and MTL (Q2266987):
Displaying 9 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q3384172) (← links)
- From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Q5092329) (← links)
