Papers citing 'CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization'

Title
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models IntegrationInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 Zirong Chen Ziyan An Jennifer Reynolds Kristin Mullen Stephen Martini Meiyi Ma 185 1 0 06 May 2025
Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled SimulationAAAI Conference on Artificial Intelligence (AAAI), 2024 Zirong Chen Elizabeth Chason Noah Mladenovski Erin Wilson Kristin Mullen Stephen Martini Meiyi Ma 282 6 0 22 Dec 2024
Auto311: A Confidence-guided Automated System for Non-emergency Calls Zirong Chen Xutong Sun Yuanhe Li Meiyi Ma 152 1 0 19 Dec 2023