SynKit: Finite LTL Synthesis as a Service. Camacho, A., Muise, C. J., Baier, J. A., & McIlraith, S. A. In System Demonstrations at the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS), 2018.
SynKit: Finite LTL Synthesis as a Service [pdf]Paper  bibtex   

Downloads: 0