Solving Games without Controllable Predecessor

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08867-9_35 ◽

2014 ◽

pp. 533-540 ◽

Author(s):

Nina Narodytska ◽

Alexander Legg ◽

Fahiem Bacchus ◽

Leonid Ryzhyk ◽

Adam Walker

Download Full-text