Meiyi Ma

2
Papers
0
Total Citations

Papers (2)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction

AAAI 2025arXiv
0
citations

Formal Logic Enabled Personalized Federated Learning through Property Inference

AAAI 2024arXiv
0
citations