Pages that link to "Item:Q3543293"
From MaRDI portal
The following pages link to MTL with Bounded Variability: Decidability and Complexity (Q3543293):
Displaying 9 items.
- Metric temporal logic revisited (Q266865) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- On the Expressiveness of MTL Variants over Dense Time (Q3510842) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897789) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)