Exploiting Structure in LTL Synthesis

Technical Report PDF: 
Technical Report Number: 
2011.140
TitleExploiting Structure in LTL Synthesis
Publication TypeReport
Year of Publication2011
AuthorsFiliot, E, Jin N, Raskin J-F