Meiyi Ma

According to our database, Meiyi Ma authored at least 61 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, May, 2025

Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities.

Yimo Yan, Yejia Liao, Guanhao Xu, Ruili Yao, Huiying Fan, Jingran Sun, Xia Wang, Jonathan Sprinkle, Ziyan An, Meiyi Ma, Xi Cheng, Tong Liu, Zemian Ke, Bo Zou, Matthew J. Barth, Yong-Hong Kuo

CoRR, March, 2025

Combining LLMs with a Logic-Based Framework to Explain MCTS.

Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety.

Ashwaq Alsoubai, Jinkyung Katie Park, Gianluca Stringhini, Meiyi Ma, Munmun De Choudhury, Pamela J. Wisniewski

Proceedings of the Nineteenth International AAAI Conference on Web and Social Media, 2025

EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy.

Hanchen David Wang, Siwoo Bae, Xutong Sun, Yashvitha Thatigotla, Meiyi Ma

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

Uncertainty Quantification for Physics-Informed Traffic Graph Networks.

Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson, Hua Wei

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 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

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 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

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Formal Logic-guided Robust Federated Learning against Poisoning Attacks.

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach

CoRR, 2024

Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review.

Clayton Cohn, Eduardo Davalos, Caleb Vatral, Joyce Horn Fonteles, Hanchen David Wang, Meiyi Ma, Gautam Biswas

CoRR, 2024

Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode.

Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.

Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy.

Hanchen David Wang, Nibraas Khan, Anna Chen, Nilanjan Sarkar, Pamela J. Wisniewski, Meiyi Ma

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2024

Auto311: A Confidence-Guided Automated System for Non-emergency Calls.

Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Formal Logic Enabled Personalized Federated Learning through Property Inference.

Ziyan An, Taylor T. Johnson, Meiyi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

CitySpec with shield: A secure intelligent assistant for requirement formalization.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma

Pervasive Mob. Comput., 2023

Auto311: A Confidence-guided Automated System for Non-emergency Call.

Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma

CoRR, 2023

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson

CoRR, 2023

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications.

Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao

CoRR, 2023

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization.

Zirong Chen, Issa Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

CoRR, 2023

Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.

Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks.

Wei Qian, Chenxu Zhao, Wei Le, Meiyi Ma, Mengdi Huai

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities.

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023

Guiding Federated Learning with Inferenced Formal Logic Properties.

Ziyan An, Meiyi Ma

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022

DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services.

Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin

ACM Trans. Cyber Phys. Syst., 2022

Out-of-the-Box Deployment to Support Research on In-Home Care of Alzheimer's Patients.

Ye Gao, Jason Jabbour, Emma C. Schlegel, Meiyi Ma, Matthew McCall, Lahiru N. S. Wijayasingha, Eunjung Ko, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic

IEEE Pervasive Comput., 2022

PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy.

Hanchen David Wang, Meiyi Ma

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Formal methods enhance deep learning for smart cities: challenges and future directions.

Meiyi Ma

XRDS, 2022

Integrating Voice-Based Machine Learning Technology into Complex Home Environments.

Ye Gao, Jason Jabbour, Eunjung Ko, Lahiru Nuwan Wijayasingha, Sooyoung Kim, Zetao Wang, Meiyi Ma, Karen Rose, Kristina Gordon, Hongning Wang, John A. Stankovic

CoRR, 2022

Designing Decision Support Systems for Emergency Response: Challenges and Opportunities.

Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade, Hemant Purohit, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey

CoRR, 2022

An Intelligent Assistant for Converting City Requirements to Formal Specification.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

2021

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.

Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng

ACM Trans. Embed. Comput. Syst., 2021

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

IEEE Internet Things J., 2021

ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch.

Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2021

A Review of Cognitive Assistants for Healthcare: Trends, Prospects, and Future Directions.

Sarah Masud Preum, Sirajum Munir, Meiyi Ma, Mohammad Samin Yasar, David J. Stone, Ronald D. Williams, Homa Alemzadeh, John A. Stankovic

ACM Comput. Surv., 2021

Toward Formal Methods for Smart Cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Computer, 2021

DeResolver: a decentralized negotiation and conflict resolution framework for smart city services.

Yukun Yuan, Meiyi Ma, Songyang Han, Desheng Zhang, Fei Miao, John A. Stankovic, Shan Lin

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

A smart city simulation platform with uncertainty.

Shuyang Dong, Meiyi Ma, Lu Feng

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective.

John A. Stankovic, Meiyi Ma, Sarah Masud Preum, Homa Alemzadeh

Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

2020

Data Sets, Modeling, and Decision Making in Smart Cities: A Survey.

Meiyi Ma, Sarah Masud Preum, Mohsin Y. Ahmed, William Tärneberg, Abdeltawab M. Hendawi, John A. Stankovic

ACM Trans. Cyber Phys. Syst., 2020

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities.

Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng

CoRR, 2020

MFED: A System for Monitoring Family Eating Dynamics.

Md. Abu Sayeed Mondol, Brooke Bell, Meiyi Ma, Ridwan Alam, Ifat Afrin Emi, Sarah Masud Preum, Kayla de la Haye, Donna Spruijt-Metz, John C. Lach, John A. Stankovic

CoRR, 2020

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract.

Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

A monitoring, modeling, and interactive recommendation system for in-home caregivers: demo abstract.

Ye Gao, Meiyi Ma, Kristina Gordon, Karen Rose, Hongning Wang, John A. Stankovic

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Continuous micro finger writing recognition with a commodity smartwatch: demo abstract.

Wenqiang Chen, Lin Chen, Meiyi Ma, Farshid Salemi Parizi, Shwetak N. Patel, John A. Stankovic

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.

Meiyi Ma, Ji Gao, Lu Feng, John A. Stankovic

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities.

Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic

CoRR, 2019

2018

Cityresolver: a decision support system for conflict resolution in smart cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Preclude2 : Personalized conflict detection in heterogeneous health applications.

Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic

Pervasive Mob. Comput., 2017

Runtime Monitoring of Safety and Performance Requirements in Smart Cities.

Meiyi Ma, John A. Stankovic, Lu Feng

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

Preclude: Conflict detection in textual health advice.

Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications, 2017

M^2G: A Monitor of Monitoring Systems with Ground Truth Validation Features for Research-Oriented Residential Applications.

Meiyi Ma, Ridwan Alam, Brooke Bell, Kayla de la Haye, Donna Spruijt-Metz, John C. Lach, John A. Stankovic

Proceedings of the 14th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2017

Conflict detection in online textual health advice: demo abstract.

Sarah Masud Preum, Md. Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, John A. Stankovic

Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract.

Meiyi Ma, Sarah Masud Preum, John A. Stankovic

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities.

Meiyi Ma, Sarah Masud Preum, John A. Stankovic

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

2016

Crystal Energy Optimization Algorithm.

Xiang Feng, Meiyi Ma, Huiqun Yu

Comput. Intell., 2016

Detection of Runtime Conflicts among Services in Smart Cities.

Meiyi Ma, Sarah Masud Preum, William Tärneberg, Mohsin Y. Ahmed, Matthew Ruiters, John A. Stankovic

Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

2015

Social Group Search Optimizer Algorithm for Ad Hoc Network.

Xiang Feng, Meiyi Ma, Huiqun Yu, Zhe Wang

Ad Hoc Sens. Wirel. Networks, 2015

2011

Virtual emergency rehearse system for dangerous gas diffusion in chemical industry park.

Gaoqi He, Wentao Ou, Meiyi Ma, Lipeng Zhang, Qincheng Hu, Zhiyi Xu

Proceedings of the 10th International Conference on Virtual Reality Continuum and its Applications in Industry, 2011