Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.

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

Browse the full AI paper archive.