Apurva Badithela

20 papers A* 1A 1C 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond Binary Success: Sample-Efficient and Statistically Rigorous Robot Policy Comparison.
CoRR
David Snyder, Apurva Badithela, Nikolai Matni, George J. Pappas, Anirudha Majumdar, Masha Itkina, Haruki Nishimura
2026 J jnl
PlayWorld: Learning Robot World Models from Autonomous Play.
CoRR
Tenny Yin, Zhiting Mei, Zhonghe Zheng, Miyu Yamane, David Wang, Jade Sceats, Samuel M. Bateman, Lihan Zha, Apurva Badithela, Ola Shorinwa, Anirudha Majumdar
2026 J jnl
Video Generation Models in Robotics - Applications, Research Challenges, Future Directions.
CoRR
Zhiting Mei, Tenny Yin, Ola Shorinwa, Apurva Badithela, Zhonghe Zheng, Joseph Bruno, Madison Bland, Lihan Zha, Asher J. Hancock, Jaime Fernández Fisac, Philip M. Dames, Anirudha Majumdar
2025 J jnl
Guiding Data Collection via Factored Scaling Curves.
CoRR
Lihan Zha, Apurva Badithela, Michael Zhang, Justin Lidard, Jeremy Bao, Emily Zhou, David Snyder, Allen Z. Ren, Dhruv Shah, Anirudha Majumdar
2025 J jnl
Is Your Imitation Learning Policy Better than Mine? Policy Comparison with Near-Optimal Stopping.
CoRR
David Snyder, Asher J. Hancock, Apurva Badithela, Emma Dixon, Patrick Tree Miller, Rares Andrei Ambrus, Anirudha Majumdar, Masha Itkina, Haruki Nishimura
2025 J jnl
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.
ACM Trans. Cyber Phys. Syst.
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
2025 J jnl
Reliable and Scalable Robot Policy Evaluation with Imperfect Simulators.
CoRR
Apurva Badithela, David Snyder, Lihan Zha, Joseph Mikhail, Matthew O'Kelly, Anushri Dixit, Anirudha Majumdar
2023 A conf
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems.
IROS
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2023 J jnl
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration.
CoRR
Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames
2023 J jnl
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.
CoRR
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
2023 — conf
Reasoning over Test Specifications Using Assume-Guarantee Contracts.
NFM
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
2023 A* conf
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.
ICRA
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
2022 J jnl
Evaluation Metrics for Object Detection for Autonomous Systems.
CoRR
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2022 J jnl
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.
CoRR
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
2022 — conf
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
NFM
Josefine Graebener, Apurva Badithela, Richard M. Murray
2022 J jnl
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.
CoRR
Josefine Graebener, Apurva Badithela, Richard M. Murray
2021 — conf
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.
CDC
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2021 J jnl
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.
CoRR
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2021 J jnl
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems.
CoRR
Apurva Badithela, Richard M. Murray
2019 C conf
Analysis of the Heavy-ball Algorithm using Integral Quadratic Constraints.
ACC
Apurva Badithela, Peter Seiler