Analysis of the Heavy-ball Algorithm using Integral Quadratic Constraints. - Apurva Badithela; Peter Seiler 001 (ACC, 2019)

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CDC, 2021)

Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. - Apurva Badithela; Richard M. Murray (CoRR, 2021)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger . - Josefine Graebener; Apurva Badithela; Richard M. Murray (NFM, 2022)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. - Josefine Graebener; Apurva Badithela; Richard M. Murray (CoRR, 2022)

Evaluation Metrics for Object Detection for Autonomous Systems. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CoRR, 2022)

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 (ICRA, 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)

Reasoning over Test Specifications Using Assume-Guarantee Contracts. - Apurva Badithela; Josefine B. Graebener; Inigo Incer; Richard M. Murray (NFM, 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)

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)

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)

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., 2025)

Is Your Imitation Learning Policy Better than Mine? Policy Comparison with Near-Optimal Stopping. - David Snyder; Asher Hancock; Apurva Badithela; Emma Dixon; Patrick Tree Miller; Rares Andrei Ambrus; Anirudha Majumdar; Masha Itkina; Haruki Nishimura (CoRR, 2025)

Guiding Data Collection via Factored Scaling Curves. - Lihan Zha; Apurva Badithela; Michael Zhang; Justin Lidard; Jeremy Bao; Emily Zhou; David Snyder; Allen Z. Ren; Dhruv Shah; Anirudha Majumdar (CoRR, 2025)