Meiyi Ma
Scholar

Meiyi Ma

Google Scholar ID: d39BOU4AAAAJ
Assistant Professor in Computer Science, Vanderbilt University
Cyber Physical SystemsMachine LearningFormal Methods
Google Scholar↗
Citations & Impact
All-time
Citations
818
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
10 items
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
2026
Cited
0
Identifying Adversary Characteristics from an Observed Attack
2026
Cited
0
PACE: A Personalized Adaptive Curriculum Engine for 9-1-1 Call-taker Training
2026
Cited
0
Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents
2026
Cited
0
Learning with Preserving for Continual Multitask Learning
2025
Cited
0
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
2025
Cited
0
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
2025
Cited
0
Combining LLMs with Logic-Based Framework to Explain MCTS
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 1
Sarah M. Preum
Sarah M. Preum
Assistant Professor, Dartmouth College
Lu Feng
Lu Feng
Associate Professor of Computer Science, University of Virginia
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien
Co-author 5
Co-author 5
Ji Gao
Ji Gao
PhD, Meta Platforms Inc