Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
Conference proceedings talk, 2025 ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway
Presentation at the 2025 ACM International Conference on the Foundations of Software Engineering