SAT-Based Strategy Extraction in Reachability Games.

Niklas En, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Browse the full AAAI paper archive.