Ma, Meiyi

7 publications

IJCAI 2025 LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma

AAAI 2025 Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng

NeurIPS 2025 Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks Navid Hashemi, Samuel Sasaki, Ipek Oguz, Meiyi Ma, Taylor T Johnson

AAAI 2025 Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation Zirong Chen, Elizabeth Chason, Noah Mladenovski, Erin Wilson, Kristin Mullen, Stephen Martini, Meiyi Ma

AAAI 2024 Auto311: A Confidence-Guided Automated System for Non-Emergency Calls Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma

AAAI 2024 Formal Logic Enabled Personalized Federated Learning Through Property Inference Ziyan An, Taylor T. Johnson, Meiyi Ma

NeurIPS 2020 STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks Meiyi Ma, Ji Gao, Lu Feng, John Stankovic