Prithvi Akella

According to our database, Prithvi Akella authored at least 21 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification.

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick

CoRR, 2024

Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification.

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames

Artif. Intell., 2024

Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media.

Andrew Benton, Eugen Solowjow, Prithvi Akella

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

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

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.

Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames

CoRR, 2023

Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data.

Prithvi Akella, Skylar X. Wei, Joel W. Burdick, Aaron D. Ames

Proceedings of the Learning for Dynamics and Control Conference, 2023

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control.

Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

IROS, 2023

Safety-Critical Controller Verification via Sim2Real Gap Quantification.

Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces.

Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems.

Prithvi Akella, Aaron D. Ames

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems.

Prithvi Akella, Aaron D. Ames

IEEE Robotics Autom. Lett., 2022

Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective.

Prithvi Akella, Aaron D. Ames

IEEE Control. Syst. Lett., 2022

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic.

Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff

CoRR, 2022

A Scenario Approach to Risk-Aware Safety-Critical System Verification.

Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames

CoRR, 2022

A Barrier-Based Scenario Approach to Verify Safety-Critical Systems.

Prithvi Akella, Aaron D. Ames

CoRR, 2022

Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification.

Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

CoRR, 2022

2021

Learning Performance Bounds for Safety-Critical Systems.

Prithvi Akella, Ugo Rosolia, Aaron D. Ames

CoRR, 2021

2020

Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization.

Prithvi Akella, Ugo Rosolia, Andrew Singletary, Aaron D. Ames

CoRR, 2020

Information-Collection in Robotic Process Monitoring: An Active Perception Approach.

Martin A. Sehr, Wei Xi Xia, Prithvi Akella, Juan Aparicio Ojea, Eugen Solowjow

CoRR, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.

Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Set-Based Adaptive Safety Control.

Prithvi Akella, Sean Anderson, David Lovell

CoRR, 2019