Synthesising Succinct Strategies in Safety and Reachability Games

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-319-11439-2_8 ◽

2014 ◽

pp. 98-111 ◽

Cited By ~ 2

Author(s):

Gilles Geeraerts ◽

Joël Goossens ◽

Amélie Stainer

Download Full-text