LogiDebrief automates 9-1-1 call debriefing by wrapping LLM yes/no checks in signal temporal logic specifications, and reports accurate results on real and simulated calls.
Bounded model checking of signal temporal logic properties using syntactic separation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
LogiDebrief automates 9-1-1 call debriefing by wrapping LLM yes/no checks in signal temporal logic specifications, and reports accurate results on real and simulated calls.