SynKit: LTL Synthesis as a Service. Camacho, A., Muise, C. J., Baier, J. A., & McIlraith, S. A. In Demonstration Track at the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), pages 5817-5819, 2018.
SynKit: LTL Synthesis as a Service [pdf]Paper  bibtex   

Downloads: 0