Apurva Badithela

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 13

Top Topics

Autonomous Systems

Uncertain Environments

Top Venues

Publications

Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. ICRA (2023)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. IROS (2023)
Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. CoRR (2023)
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM (2023)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics for Object Detection for Autonomous Systems. CoRR (2022)
Josefine Graebener, Apurva Badithela, Richard M. Murray
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. CoRR (2022)
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. CoRR (2022)
Josefine Graebener, Apurva Badithela, Richard M. Murray
. NFM (2022)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC (2021)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR (2021)
Apurva Badithela, Richard M. Murray
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. CoRR (2021)
Apurva Badithela, Peter J. Seiler
Analysis of the Heavy-ball Algorithm using Integral Quadratic Constraints. ACC (2019)