Prithvi Akella
Cited by
Cited by
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification
P Akella, A Dixit, M Ahmadi, JW Burdick, AD Ames
arXiv preprint arXiv:2204.09833, 2022
A scenario approach to risk-aware safety-critical system verification
P Akella, M Ahmadi, AD Ames
arXiv preprint arXiv:2203.02595, 2022
Controlling the locomotion of spherical robots or why BB-8 works
P Akella, OM O'Reilly, K Sreenath
Journal of Mechanisms and Robotics 11 (2), 024501, 2019
Formal test synthesis for safety-critical autonomous systems based on control barrier functions
P Akella, M Ahmadi, RM Murray, AD Ames
2020 59th IEEE Conference on Decision and Control (CDC), 790-795, 2020
A barrier-based scenario approach to verifying safety-critical systems
P Akella, AD Ames
IEEE Robotics and Automation Letters 7 (4), 11062-11069, 2022
Test and evaluation of quadrupedal walking gaits through sim2real gap quantification
P Akella, W Ubellacker, AD Ames
arXiv preprint arXiv:2201.01323, 2022
Learning performance bounds for safety-critical systems
P Akella, U Rosolia, AD Ames
arXiv preprint arXiv:2109.04026, 2021
Learning disturbances online for risk-aware control: Risk-aware flight with less than one minute of data
P Akella, SX Wei, JW Burdick, A Ames
Learning for Dynamics and Control Conference, 665-678, 2023
Safety-Critical Controller Verification via Sim2Real Gap Quantification
P Akella, W Ubellacker, AD Ames
2023 IEEE International Conference on Robotics and Automation (ICRA), 10539 …, 2023
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration
P Akella, A Badithela, RM Murray, AD Ames
arXiv preprint arXiv:2304.03849, 2023
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
P Akella, W Ubellacker, AD Ames
arXiv preprint arXiv:2303.06258, 2023
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
H Krasowski, P Akella, A Ames, M Althoff
arXiv preprint arXiv:2212.06129, 2022
A barrier-based scenario approach to verify safety-critical systems
P Akella, AD Ames
arXiv preprint arXiv:2202.11177, 2022
Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization
P Akella, U Rosolia, A Singletary, AD Ames
arXiv preprint arXiv:2009.12909, 2020
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
P Akella, AD Ames
arXiv preprint arXiv:2304.03739, 2023
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
P Akella, M Ahmadi, RM Murray, AD Ames
arXiv preprint arXiv:2301.09622, 2023
Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification
P Akella
California Institute of Technology, 2023
Barrier Function-Based Predictive Controllers Compared with Lyapunov-Based Economic Model Predictive Control
H Durand, A Ames, P Akella
2022 AIChE Annual Meeting, 2022
Disturbance bounds for signal temporal logic task satisfaction: A dynamics perspective
P Akella, AD Ames
IEEE Control Systems Letters 6, 2018-2023, 2021
Information-Collection in Robotic Process Monitoring: An Active Perception Approach
MA Sehr, WX Xia, P Akella, JA Ojea, E Solowjow
arXiv preprint arXiv:2005.00167, 2020
The system can't perform the operation now. Try again later.
Articles 1–20