Pages that link to "Item:Q3523093"
From MaRDI portal
The following pages link to Strong Controllability of Disjunctive Temporal Problems with Uncertainty (Q3523093):
Displayed 5 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Strong temporal planning with uncontrollable durations (Q1748463) (← links)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty (Q2321284) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)