Apurva Badithela

According to our database, Apurva Badithela authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.

Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

ACM Trans. Cyber Phys. Syst., January, 2025

2024

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

CoRR, 2024

2023

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration.

Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames

CoRR, 2023

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, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2023

Reasoning over Test Specifications Using Assume-Guarantee Contracts.

Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

IROS, 2023

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Evaluation Metrics for Object Detection for Autonomous Systems.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

CoRR, 2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.

Josefine Graebener, Apurva Badithela, Richard M. Murray

CoRR, 2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems^đagger.

Josefine Graebener, Apurva Badithela, Richard M. Murray

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems.

Apurva Badithela, Richard M. Murray

CoRR, 2021

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

Analysis of the Heavy-ball Algorithm using Integral Quadratic Constraints.

Apurva Badithela, Peter Seiler

Proceedings of the 2019 American Control Conference, 2019