Zhang, C., Kapoor, P., Dardik, I., Cui, L., Meira-Goes, R., Garlan, D., & Kang, E. (2025). Constrained LTL Specification Learning from Examples. In 2025 International Conference on Software Engineering . Ottawa, Canada.
First name
Changjian
Last name
Zhang