activity
20192025
most citedA Scenario Approach to Risk-Aware Safety-Critical System Verification

9 citations · 17 across the 20 of their papers we have counts for

collaborators

20 papers

cs.RO2025

Botany-Bot: Digital Twin Monitoring of Occluded and Underleaf Plant Structures with Gaussian Splats

Simeon Adebola, Chung Min Kim, Justin Kerr +5

Commercial plant phenotyping systems using fixed cameras cannot perceive many plant details due to leaf occlusion. In this paper, we present Botany-Bot, a system for building detai…

cs.RO2024

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

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi +5

The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need f…

cs.RO2023

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

Andrew Benton, Eugen Solowjow, Prithvi Akella

A robotic behavior model that can reliably generate behaviors from natural language inputs in real time would substantially expedite the adoption of industrial robots due to enhanc…

eess.SY2023★ 1 cited

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration

Prithvi Akella, Apurva Badithela, Richard M. Murray +1

Control Barrier Functions (CBFs) allow for efficient synthesis of controllers to maintain desired invariant properties of safety-critical systems. However, the problem of identifyi…

math.OC2023

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

Prithvi Akella, Aaron D. Ames

Efficient methods to provide sub-optimal solutions to non-convex optimization problems with knowledge of the solution's sub-optimality would facilitate the widespread application o…

math.OC2023

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control

Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

Leveraging recent developments in black-box risk-aware verification, we provide three algorithms that generate probabilistic guarantees on (1) optimality of solutions, (2) recursiv…