Finite LTL Synthesis with Environment Assumptions and Quality Measures. Camacho, A., Bienvenu, M., & McIlraith, S. A. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 454-463, 2018.
Finite LTL Synthesis with Environment Assumptions and Quality Measures [pdf]Paper  bibtex   

Downloads: 0