Yucheng Ruan

A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective

Causal discovery in time-series datasets is critical for understanding complex systems, especially when the \textit{effectiveness} of causal relationships depends on both the \textit{duration} and \textit{magnitude} of the cause. We introduce a novel framework for causal discovery based on \textbf{S