Follow
Apurva Badithela
Title
Cited by
Cited by
Year
Dynamic modeling of a sensible thermal energy storage tank with an immersed coil heat exchanger under three operation modes
AL Nash, A Badithela, N Jain
Applied energy 195, 877-889, 2017
902017
Analysis of the heavy-ball algorithm using integral quadratic constraints
A Badithela, P Seiler
2019 American control conference (ACC), 4081-4085, 2019
142019
Pacti: Scaling assume-guarantee reasoning for system analysis and design
I Incer, A Badithela, J Graebener, P Mallozzi, A Pandey, SJ Yu, ...
arXiv preprint arXiv:2303.17751, 2023
82023
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
A Badithela, T Wongpiromsarn, RM Murray
IEEE 60th Conference on Decision and Control (CDC), 2021
82021
Synthesizing reactive test environments for autonomous systems: testing reach-avoid specifications with multi-commodity flows
A Badithela, JB Graebener, W Ubellacker, EV Mazumdar, AD Ames, ...
2023 IEEE International Conference on Robotics and Automation (ICRA), 12430 …, 2023
42023
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
JB Graebener, A Badithela, RM Murray
NASA Formal Methods Symposium, 133-155, 2022
32022
Synthesis of static test environments for observing sequence-like behaviors in autonomous systems
A Badithela, RM Murray
arXiv preprint arXiv:2108.05911, 2021
32021
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration
P Akella, A Badithela, RM Murray, AD Ames
arXiv preprint arXiv:2304.03849, 2023
22023
Evaluation metrics for object detection for autonomous systems
A Badithela, T Wongpiromsarn, RM Murray
arXiv preprint arXiv:2210.10298, 2022
12022
Minimally constrained testing for autonomy with temporal logic specifications
A Badithela, JB Graebener, RM Murray
12022
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
JB Graebener, AS Badithela, D Goktas, W Ubellacker, EV Mazumdar, ...
arXiv preprint arXiv:2404.09888, 2024
2024
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems
A Badithela, T Wongpiromsarn, RM Murray
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023
2023
Reasoning over Test Specifications Using Assume-Guarantee Contracts
A Badithela, JB Graebener, I Incer, RM Murray
NASA Formal Methods Symposium, 278-294, 2023
2023
Dynamic Modeling and Validation of micro-CHP systems
A Badithela, N Jain, A Nash
2016
The system can't perform the operation now. Try again later.
Articles 1–14