Reachability Games Modulo Theories with a Bounded Safety Player.

Marco Faella, Gennaro Parlato

Browse the full AAAI paper archive.