Prithvi Akella

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 28

Top Topics

Reinforcement Learning

Safety Critical

Top Venues

IEEE Control. Syst. Lett.

Publications

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR (2024)
Andrew Benton, Eugen Solowjow, Prithvi Akella
Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media. ICRA (2024)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR (2023)
Prithvi Akella, Skylar X. Wei, Joel W. Burdick, Aaron D. Ames
Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data. L4DC (2023)
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. CoRR (2023)
Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. CoRR (2023)
Andrew Benton, Eugen Solowjow, Prithvi Akella
Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media. CoRR (2023)
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. IROS (2023)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC (2023)
Prithvi Akella, Aaron D. Ames
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. CoRR (2023)
Prithvi Akella, Aaron D. Ames
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. CDC (2023)
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Safety-Critical Controller Verification via Sim2Real Gap Quantification. ICRA (2023)
Prithvi Akella, Aaron D. Ames
Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. IEEE Control. Syst. Lett. 6 (2022)
Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames
A Scenario Approach to Risk-Aware Safety-Critical System Verification. CoRR (2022)
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification. CoRR (2022)
Prithvi Akella, Aaron D. Ames
A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems. IEEE Robotics Autom. Lett. 7 (4) (2022)
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. CoRR (2022)
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Safety-Critical Controller Verification via Sim2Real Gap Quantification. CoRR (2022)
Prithvi Akella, Skylar X. Wei, Joel W. Burdick, Aaron D. Ames
Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data. CoRR (2022)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR (2022)
Prithvi Akella, Aaron D. Ames
A Barrier-Based Scenario Approach to Verify Safety-Critical Systems. CoRR (2022)
Prithvi Akella, Ugo Rosolia, Aaron D. Ames
Learning Performance Bounds for Safety-Critical Systems. CoRR (2021)
Prithvi Akella, Aaron D. Ames
Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. CoRR (2021)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR (2020)
Martin A. Sehr, Wei Xi Xia, Prithvi Akella, Juan Aparicio Ojea, Eugen Solowjow
Information-Collection in Robotic Process Monitoring: An Active Perception Approach. CoRR (2020)
Prithvi Akella, Ugo Rosolia, Andrew Singletary, Aaron D. Ames
Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization. CoRR (2020)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC (2020)
Prithvi Akella, Sean Anderson, David Lovell
Set-Based Adaptive Safety Control. CoRR (2019)