Apurva Badithela: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
|First name=Apurva | |First name=Apurva | ||
|Last name=Badithela | |Last name=Badithela | ||
|Department=CDS | |Department=CDS | ||
|Previous projects=Formal Methods for V&V and T&E of Autonomous Systems, AFOSR T&E2 | |||
|Previous projects=Formal Methods for V&V and T&E of Autonomous Systems | |Previous positions=PhD student | ||
|URL=https://abadithela.github.io | |URL=https://abadithela.github.io | ||
|LinkedIn=https://www.linkedin.com/in/apurva-badithela-6a1040115/ | |LinkedIn=https://www.linkedin.com/in/apurva-badithela-6a1040115/ | ||
}} | }} | ||
Revision as of 01:58, 16 June 2024
| First name | Apurva |
|---|---|
| Last name | Badithela |
| Current position | |
| Department | CDS |
| Co-advisor | |
| Current project | |
| Other projects | |
| Previous projects | Formal Methods for V&V and T&E of Autonomous Systems, AFOSR T&E2 |
| Graduated | |
| Previous positions | PhD student |
| URL | https://abadithela.github.io |
| https://www.linkedin.com/in/apurva-badithela-6a1040115/ | |
| Subsequent positions |
Papers:
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray. Submitted, IEEE Transactions on Robotics, 2024.
- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023.
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems. Apurva Badithela, Tichakorn Wongpiromsarn, and Richard M. Murray. To appear, 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
- Reasoning over Test Specifications using Assume-Guarantee Contracts. Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray. Submitted, NASA Formal Methods (NFM), 2023.
- 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).
