Alert button
Picture for Meiyi Ma

Meiyi Ma

Alert button

Formal Logic Enabled Personalized Federated Learning Through Property Inference

Jan 24, 2024
Ziyan An, Taylor T. Johnson, Meiyi Ma

Viaarxiv icon

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

Dec 19, 2023
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma

Viaarxiv icon

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

Aug 15, 2023
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson

Figure 1 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 2 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 3 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 4 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Viaarxiv icon

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications

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

Figure 1 for Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
Figure 2 for Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
Figure 3 for Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
Figure 4 for Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
Viaarxiv icon

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Feb 23, 2023
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

Figure 1 for Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Figure 2 for Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Figure 3 for Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Figure 4 for Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Viaarxiv icon

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

Feb 19, 2023
Zirong Chen, Issa Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma

Figure 1 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 2 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 3 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 4 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Viaarxiv icon

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

Nov 12, 2022
Hanchen David Wang, Meiyi Ma

Figure 1 for PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Figure 2 for PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Figure 3 for PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Figure 4 for PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Viaarxiv icon

An Intelligent Assistant for Converting City Requirements to Formal Specification

Jun 14, 2022
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John Stankovic, Meiyi Ma

Figure 1 for An Intelligent Assistant for Converting City Requirements to Formal Specification
Figure 2 for An Intelligent Assistant for Converting City Requirements to Formal Specification
Viaarxiv icon

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

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

Figure 1 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 2 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 3 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 4 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Viaarxiv icon