Synthesising succinct strategies in safety games

TitleSynthesising succinct strategies in safety games
Publication TypeConference Paper
Year of Publication2014
AuthorsGeeraerts, G, Goossens J, Stainer A
Conference NameProceedings of RP 2014, 8th International Workshop on Reachability Problems
PublisherSpringer