Compositional Algorithms for LTL Synthesis

Technical Report PDF: 
Technical Report Number: 
2010.132
TitleCompositional Algorithms for LTL Synthesis
Publication TypeConference Paper
Year of Publication2010
AuthorsFiliot, E, Jin N, Raskin J-F
Conference NameATVA