Set-Based Adaptive Safety Control. - Prithvi Akella; Sean Anderson; David Lovell (CoRR, 2019)

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (CDC, 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 Verification of Safety Critical Autonomous Systems via Bayesian Optimization. - Prithvi Akella; Ugo Rosolia; Andrew Singletary; Aaron D. Ames (CoRR, 2020)

Learning Performance Bounds for Safety-Critical Systems. - Prithvi Akella; Ugo Rosolia; Aaron D. Ames (CoRR, 2021)

Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification. - Prithvi Akella; Wyatt Ubellacker; Aaron D. Ames (CoRR, 2022)

A Barrier-Based Scenario Approach to Verify Safety-Critical Systems. - Prithvi Akella; Aaron D. Ames (CoRR, 2022)

A Scenario Approach to Risk-Aware Safety-Critical System Verification. - Prithvi Akella; Mohamadreza Ahmadi; Aaron D. Ames (CoRR, 2022)

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CoRR, 2022)

Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. - Prithvi Akella; Aaron D. Ames (IEEE Control. Syst. Lett., 2022)

A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems. - Prithvi Akella; Aaron D. Ames (IEEE Robotics Autom. Lett., 2022)

Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. - Prithvi Akella; Aaron D. Ames (CDC, 2023)

Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CDC, 2023)

Safety-Critical Controller Verification via Sim2Real Gap Quantification. - Prithvi Akella; Wyatt Ubellacker; Aaron D. Ames (ICRA, 2023)

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. - Prithvi Akella; Wyatt Ubellacker; Aaron D. Ames (IROS, 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 (L4DC, 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)

Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media. - Andrew Benton; Eugen Solowjow; Prithvi Akella (ICRA, 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)

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)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2025)