Xiangyu Luo, Li Li, Lijun Wu 0001, Kaile Su, Zuxi Chen, Lixiao Zheng. Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers. In Giuseppe De Giacomo, Jianwen Li, Lili Xiao, editors, Theoretical Aspects of Software Engineering - 20th International Symposium, TASE 2026, Shanghai, China, July 4-6, 2026, Proceedings. Volume 16697 of Lecture Notes in Computer Science, pages 439-457, Springer, 2026. [doi]
Abstract is missing.