 Learning Interpretable Temporal Properties from Positive Examples OnlyAAAI Conference on Artificial Intelligence (AAAI), 2022 |
 Learning Interpretable Models in the Property Specification LanguageInternational Joint Conference on Artificial Intelligence (IJCAI), 2020 |
 |