Decidability; Strategic games; Timeline-based planning with uncertainty; Software

A game-theoretic approach to timeline-based planning with uncertainty