Follow
Prithvi Akella
Title
Cited by
Cited by
Year
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification
P Akella, A Dixit, M Ahmadi, JW Burdick, AD Ames
Artificial Intelligence 336, 104195, 2024
212024
A scenario approach to risk-aware safety-critical system verification
P Akella, M Ahmadi, AD Ames
arXiv preprint arXiv:2203.02595, 2022
162022
A barrier-based scenario approach to verifying safety-critical systems
P Akella, AD Ames
IEEE Robotics and Automation Letters 7 (4), 11062-11069, 2022
142022
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
142019
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
92020
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
82023
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
42023
Disturbance bounds for signal temporal logic task satisfaction: A dynamics perspective
P Akella, AD Ames
IEEE Control Systems Letters 6, 2018-2023, 2021
42021
Probabilistic guarantees for nonlinear safety-critical optimal control
P Akella, W Ubellacker, AD Ames
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023
32023
Verifiably safe reinforcement learning with probabilistic guarantees via temporal logic
H Krasowski, P Akella, A Ames, M Althoff
arXiv preprint arXiv:2212.06129, 2022
32022
Learning performance bounds for safety-critical systems
P Akella, U Rosolia, AD Ames
arXiv preprint arXiv:2109.04026, 2021
32021
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
22023
Test and evaluation of quadrupedal walking gaits through sim2real gap quantification
P Akella, W Ubellacker, AD Ames
arXiv preprint arXiv:2201.01323, 2022
22022
Formal verification of safety critical autonomous systems via bayesian optimization
P Akella, U Rosolia, A Singletary, AD Ames
arXiv preprint arXiv:2009.12909, 2020
22020
Barrier-based test synthesis for safety-critical systems subject to timed reach-avoid specifications
P Akella, M Ahmadi, RM Murray, AD Ames
IEEE Transactions on Automatic Control, 2024
12024
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
P Akella, A Dixit, M Ahmadi, L Lindemann, MP Chapman, GJ Pappas, ...
arXiv preprint arXiv:2403.18972, 2024
12024
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
H Krasowski, P Akella, AD Ames, M Althoff
2023 62nd IEEE Conference on Decision and Control (CDC), 4372-4378, 2023
12023
A barrier-based scenario approach to verify safety-critical systems
P Akella, AD Ames
arXiv preprint arXiv:2202.11177, 2022
12022
A Visualization Tool for the Vibration of Euler-Bernoulli and Timoshenko Beams
P Akella, EG Hemingway, OM O’Reilly
Univ. California, Berkeley, Berkeley, CA, USA, Tech. Rep, 2006
12006
Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media
A Benton, E Solowjow, P Akella
2024 IEEE International Conference on Robotics and Automation (ICRA), 2549-2555, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20