Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu. Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception. 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 3-28, Springer, 2025. [doi]
Abstract is missing.