43 citations · 168 across the 35 of their papers we have counts for
Showing 2022 · cs.ROShow all
2 papers · 2 filters
cs.RO2022
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker +3
We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system u…
cs.RO2022★ 6 cited
Evaluation Metrics for Object Detection for Autonomous Systems
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
This paper studies the evaluation of learning-based object detection models in conjunction with model-checking of formal specifications defined on an abstract model of an autonomou…