FlatPack: flexible temporal planning with verification and controller synthesis.

Ajay Kattepur, Swarup Kumar Mohalik

Browse the full SAC paper archive.