Author:
Xiao Shengping,Li Yongkang,Huang Xinyue,Xu Yicong,Li Jianwen,Pu Geguang,Strichman Ofer,Vardi Moshe Y.
Publisher
Springer Nature Switzerland
Reference47 articles.
1. The reactive synthesis competition. http://www.syntcomp.org/
2. Lecture Notes in Computer Science;CS Althoff,2006
3. Aminof, B., De Giacomo, G., Murano, A., Rubin, S.: Synthesis under assumptions. In: Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 615–616. AAAI Press (2018)
4. Aminof, B., De Giacomo, G., Murano, A., Rubin, S.: Planning under LTL environment specifications. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, pp. 31–39. AAAI Press (2019)
5. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22, 5–27 (1998)