Categories recording Finite LTL Synthesis as Planning Post date June 20, 2018 ICAPS 2018: Alberto Camacho on "Finite LTL Synthesis as Planning"Watch this video on YouTube Alberto Camacho, Jorge A. Baier, Christian Muise, Sheila A. McIlraithFinite LTL Synthesis as Planning ← Performance Modelling of Planners from Homogeneous Problem Sets → Hybrid Planning & Algorithm Selection Complexity : Algorithm Selection in Optimization and Application to Angry Birds