Alert button
Picture for Prithvi Akella

Prithvi Akella

Alert button

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

Sep 26, 2023
Andrew Benton, Eugen Solowjow, Prithvi Akella

Figure 1 for Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media
Figure 2 for Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media
Figure 3 for Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media
Figure 4 for Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media
Viaarxiv icon

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

Apr 07, 2023
Prithvi Akella, Aaron D. Ames

Figure 1 for Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
Figure 2 for Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
Figure 3 for Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
Figure 4 for Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
Viaarxiv icon

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control

Mar 11, 2023
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

Figure 1 for Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
Figure 2 for Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
Figure 3 for Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
Figure 4 for Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
Viaarxiv icon

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

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

Figure 1 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 2 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 3 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 4 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Viaarxiv icon

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

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

Figure 1 for Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
Figure 2 for Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
Figure 3 for Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
Figure 4 for Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
Viaarxiv icon

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic

Dec 12, 2022
Hanna Krasowski, Prithvi Akella, Aaron Ames, Matthias Althoff

Figure 1 for Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Figure 2 for Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Figure 3 for Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Figure 4 for Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Viaarxiv icon

Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification

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

Figure 1 for Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
Figure 2 for Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
Figure 3 for Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
Figure 4 for Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
Viaarxiv icon

Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification

Jan 04, 2022
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames

Figure 1 for Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification
Figure 2 for Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification
Figure 3 for Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification
Figure 4 for Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification
Viaarxiv icon

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

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

Figure 1 for Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Figure 2 for Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Figure 3 for Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Figure 4 for Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Viaarxiv icon

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

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

Figure 1 for Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Figure 2 for Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Figure 3 for Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Viaarxiv icon