Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Submitted, 2023 International Conference on Robotics and Automation (ICRA))
• Evaluation Metrics for Object Detection for Autonomous Systems  + (Submitted, 2023 International Conference on Robotics and Automation (ICRA))

• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  +
• Evaluation Metrics for Object Detection for Autonomous Systems  +