α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Meiyi Ma
Meiyi Ma
3
papers
6
total citations
papers (3)
Formal Logic Enabled Personalized Federated Learning through Property Inference
AAAI 2024
arXiv
6
citations
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
AAAI 2025
arXiv
0
citations
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks
NEURIPS 2020
0
citations