@article{logidebriefasignaltemporallogicbased,
  title = {LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration},
  author = {Zirong Chen and Ziyan An and Jennifer Reynolds and Kristin Mullen and Stephen Martini and Meiyi Ma},
  year = {2025},
  eprint = {2505.03985},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.03985v1},
}