Pages that link to "Item:Q974119"
From MaRDI portal
The following pages link to Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119):
Displayed 7 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Hard real-time guarantees in feedback-based resource reservations (Q2356290) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Metric Temporal Logic with Counting (Q2811351) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)