Work

Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems

Year: 2025

Type: article

Source: Proceedings of the ACM on software engineering.

DOI: 10.1145/3729382

Authors: Trey Woodlief, Felipe Toledo, Matthew Dwyer, Sebastian Elbaum

Institution: University of Virginia

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411450263

FWCI: 0.967

Cites: 46

Cited by: 2

Related to: 10