Pages that link to "Item:Q2151264"
From MaRDI portal
The following pages link to \textsc{MightyL}: a compositional translation from MITL to timed automata (Q2151264):
Displaying 6 items.
- On the timed temporal logic planning of coupled multi-agent systems (Q1716548) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- (Q5376664) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)
