Apurva Badithela
From Murray Wiki
Jump to navigationJump to search
| First name | Apurva |
|---|---|
| Last name | Badithela |
| Current position | PhD student |
| Department | CDS |
| Co-advisor | |
| Current project | AFOSR T&E |
| Other projects | |
| Previous projects | |
| Graduated | |
| Previous positions | |
| URL |
Papers:
- Minimally Constrained Testing for Autonomy with Temporal Logic Specifications. Apurva Badithela, Josefine Graebener, Richard M. Murray. RSS 2022 Workshop on Envisioning an Infrastructure for Multi-Robot and Collaborative Autonomy Testing and Evaluation.
- Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray. Submitted, 2023 International Conference on Robotics and Automation (ICRA).
- Evaluation Metrics for Object Detection for Autonomous Systems. Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray. Submitted, 2023 International Conference on Robotics and Automation (ICRA).
- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. Josefine Graebener, Apurva Badithela, Richard M. Murray. 2022 NASA Formal Methods Symposium (NFM).
- Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. Apurva Badithela, Tichakorn Wongpiromsarn, Richard M Murray. To appear, 2021 Conference on Decision and Control.
- Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. Apurva Badithela, Richard M. Murray. Submitted, 2021 NASA Formal Methods (NFM).
