Diego Manzanas Lopez, Samuel Sasaki, Taylor T. Johnson. NNV: A Star Set Reachability Approach (Competition Contribution). 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 260-265, Springer, 2025. [doi]
Abstract is missing.