Meiyi Ma

Venues

Frequent coauthors

Papers

1. Learning with Preserving for Continual Multitask Learning
   AAAI 2026 ·

   Hanchen David Wang

   DBLP profile ↗ORCID search ↗
2. Combining LLMs with a Logic-Based Framework to Explain MCTS
   AAMAS 2025 ·

   Ziyan An

   DBLP profile ↗ORCID search ↗
3. LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
   IJCAI 2025 ·

   Zirong Chen

   DBLP profile ↗ORCID search ↗
4. Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
   IROS 2025 ·

   Jiangwei Wang

   DBLP profile ↗ORCID search ↗
5. Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
   AAAI 2025 ·

   Shuyang Dong

   DBLP profile ↗ORCID search ↗
6. Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks
   NeurIPS 2025 ·

   Navid Hashemi

   DBLP profile ↗ORCID search ↗
7. Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation
   AAAI 2025 ·

   Zirong Chen

   DBLP profile ↗ORCID search ↗
8. Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety
   ICWSM 2025 ·

   Ashwaq Alsoubai

   DBLP profile ↗ORCID search ↗
9. Auto311: A Confidence-Guided Automated System for Non-emergency Calls
   AAAI 2024 ·

   Zirong Chen

   DBLP profile ↗ORCID search ↗
10. Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
    ECAI 2024 ·

    Ziyan An

    DBLP profile ↗ORCID search ↗
11. Formal Logic Enabled Personalized Federated Learning through Property Inference
    AAAI 2024 ·

    Ziyan An

    DBLP profile ↗ORCID search ↗