7 citations · 23 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021★ 1 cited
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…
eess.SY2021
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…