Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Camacho, A., Baier, J. A., Muise, C. J., & McIlraith, S. A. In Advances in Artificial Intelligence - Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence (CCAI), pages 45-59, 2018.
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning [link]Paper  Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning [pdf]Paper  bibtex   

Downloads: 0