Pages that link to "Item:Q1780454"
From MaRDI portal
The following pages link to Timer formulas and decidable metric temporal logic (Q1780454):
Displayed 9 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- Temporal logics with incommensurable distances are undecidable (Q879597) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Decidable metric logics (Q999264) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)