6 citations · 7 across the 5 of their papers we have counts for
5 papers
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…
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…
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
Josefine Graebener, Apurva Badithela, Richard M. Murray
We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The…
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
Apurva Badithela, Richard M. Murray
In this paper, we investigate formal test-case generation for high-level mission objectives, specifically reachability, of autonomous systems. We use Kripke structures to represent…
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
In many autonomy applications, performance of perception algorithms is important for effective planning and control. In this paper, we introduce a framework for computing the proba…