The following pages link to (Q5875669):
Displaying 4 items.
- Complexity issues for timeline-based planning over dense time under future and minimal semantics (Q2067619) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)
