Acacia+, a Tool for LTL Synthesis

TitleAcacia+, a Tool for LTL Synthesis
Publication TypeConference Paper
Year of Publication2012
AuthorsBohy, A, Bruyère V, Filiot E, Jin N, Raskin J-F
Conference NameComputer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-31424-7_45
DOI10.1007/978-3-642-31424-7_45