Chenyu Ma — accepted AI-conference papers

2025

PANDA: Patch-Aware Graph Network with Dual Alignment for Time Series Forecasting

Chen Li, Hongyang Zhang, Saqlain Abbas, Chenyu Ma, Yinhao Liu, Xiaotong Tu

ICASSP 2025accepted

Multivariate time series (MTS) forecasting aims to predict future patterns by extracting features from multivariate history. Predominant methods face challenges in learning spatial dependencies while capturing long-term trends and local details, leading to suboptimal performance in MTS forecasting.…

Cited by 0 Source ↗Scholar ↗

2024

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani

AISTATS 2024poster

A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discrete-time stochastic dynamical systems against temporal logic specifications only using observation samples and without t…

Cited by 3 Source ↗PDF ↗Scholar ↗