Fabio Patrizi

Latest

• Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners
• Computing Infinite Plans for LTL Goals Using a Classical Planner