@misc{indiciae68bf5379949f,
  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},
  url = {https://arxiv.org/abs/2505.03985},
  note = {Source identifier: 2505.03985}
}