Categories
recording

LTL & Temporal Planning : Towards a Unified View of AI Planning and Reactive Synthesis