Prithvi Akella

32 papers A* 2A 2Journal 24Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. IEEE Trans. Autom. Control. Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2025	A	`conf`	Botany-Bot: Digital Twin Monitoring of Occluded and Underleaf Plant Structures with Gaussian Splats. IROS Simeon Adebola, Chung Min Kim, Justin Kerr, Shuangyu Xie, Prithvi Akella, Jose Luis Susa Rincon, Eugen Solowjow, Ken Goldberg
2025	J	`jnl`	Botany-Bot: Digital Twin Monitoring of Occluded and Underleaf Plant Structures with Gaussian Splats. CoRR Simeon Adebola, Chung Min Kim, Justin Kerr, Shuangyu Xie, Prithvi Akella, Jose Luis Susa Rincon, Eugen Solowjow, Ken Goldberg
2024	J	`jnl`	Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
2024	J	`jnl`	Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification. Artif. Intell. Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
2024	A*	`conf`	Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media. ICRA Andrew Benton, Eugen Solowjow, Prithvi Akella
2023	J	`jnl`	Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2023	—	`conf`	Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. CDC Prithvi Akella, Aaron D. Ames
2023	J	`jnl`	Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. CoRR Prithvi Akella, Aaron D. Ames
2023	—	`conf`	Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data. L4DC Prithvi Akella, Skylar X. Wei, Joel W. Burdick, Aaron D. Ames
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	A	`conf`	Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. IROS Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
2023	J	`jnl`	Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. CoRR Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
2023	—	`conf`	Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2023	A*	`conf`	Safety-Critical Controller Verification via Sim2Real Gap Quantification. ICRA Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
2023	J	`jnl`	Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media. CoRR Andrew Benton, Eugen Solowjow, Prithvi Akella
2022	J	`jnl`	A Barrier-Based Scenario Approach to Verify Safety-Critical Systems. CoRR Prithvi Akella, Aaron D. Ames
2022	J	`jnl`	A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems. IEEE Robotics Autom. Lett. Prithvi Akella, Aaron D. Ames
2022	J	`jnl`	A Scenario Approach to Risk-Aware Safety-Critical System Verification. CoRR Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames
2022	J	`jnl`	Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. IEEE Control. Syst. Lett. Prithvi Akella, Aaron D. Ames
2022	J	`jnl`	Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data. CoRR Prithvi Akella, Skylar X. Wei, Joel W. Burdick, Aaron D. Ames
2022	J	`jnl`	Safety-Critical Controller Verification via Sim2Real Gap Quantification. CoRR Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
2022	J	`jnl`	Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. CoRR Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
2022	J	`jnl`	Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification. CoRR Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
2022	J	`jnl`	Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2021	J	`jnl`	Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. CoRR Prithvi Akella, Aaron D. Ames
2021	J	`jnl`	Learning Performance Bounds for Safety-Critical Systems. CoRR Prithvi Akella, Ugo Rosolia, Aaron D. Ames
2020	—	`conf`	Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization. CoRR Prithvi Akella, Ugo Rosolia, Andrew Singletary, Aaron D. Ames
2020	J	`jnl`	Information-Collection in Robotic Process Monitoring: An Active Perception Approach. CoRR Martin A. Sehr, Wei Xi Xia, Prithvi Akella, Juan Aparicio Ojea, Eugen Solowjow
2019	J	`jnl`	Set-Based Adaptive Safety Control. CoRR Prithvi Akella, Sean Anderson, David Lovell