Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
Date:
Presentation at the 2025 ACM International Conference on the Foundations of Software Engineering
Trey Woodlief
Assistant Professor, Computer Science. Interested in autonomous system safety.
- 135 McGlothlin-Street Hall
- William & Mary
- Github
- Google Scholar