Pingchuan Ma 0004, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren 0001. Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]
Abstract is missing.