Richard St.-DenisSylvie ThiébauxElsevier B.V.Electronic Notes in Theoretical Computer ScienceAnalyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic N
Denis Sarigiannis: Conceptualization, Funding acquisition, Writing - review & editing, Supervision, Project administration. Alberto Gotti: Conceptualization, Funding acquisition, Writing - review & editing, Supervision, Project administration. Elena Boldo: Conceptualization, Methodology, Formal analysis, ...