Retrieval-Augmented Mining of Temporal Logic Specifications from Data

Saveri and Bortolussi. "Retrieval-Augmented Mining of Temporal Logic Specifications from Data." European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2024. doi:10.1007/978-3-031-70368-3_19

[Saveri and Bortolussi. "Retrieval-Augmented Mining of Temporal Logic Specifications from Data." European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2024.](https://mlanthology.org/ecmlpkdd/2024/saveri2024ecmlpkdd-retrievalaugmented/) doi:10.1007/978-3-031-70368-3_19

@inproceedings{saveri2024ecmlpkdd-retrievalaugmented,
  title     = {{Retrieval-Augmented Mining of Temporal Logic Specifications from Data}},
  author    = {Saveri, Gaia and Bortolussi, Luca},
  booktitle = {European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases},
  year      = {2024},
  pages     = {315-331},
  doi       = {10.1007/978-3-031-70368-3_19},
  url       = {https://mlanthology.org/ecmlpkdd/2024/saveri2024ecmlpkdd-retrievalaugmented/}
}