LTL Realizability via Safety and Reachability Games.

Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Browse the full IJCAI paper archive.