Eric Alsmann, Martin Lange 0001. On the Complexity of Formal Reasoning in State Space Models (Extended Abstract). In Mirco Giacobbe, Anna Lukina, editors, AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings. Volume 15947 of Lecture Notes in Computer Science, pages 221-226, Springer, 2025. [doi]
Abstract is missing.