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 | 21 | 2024 |
A scenario approach to risk-aware safety-critical system verification P Akella, M Ahmadi, AD Ames arXiv preprint arXiv:2203.02595, 2022 | 16 | 2022 |
A barrier-based scenario approach to verifying safety-critical systems P Akella, AD Ames IEEE Robotics and Automation Letters 7 (4), 11062-11069, 2022 | 14 | 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 | 14 | 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 | 9 | 2020 |
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 | 8 | 2023 |
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 | 4 | 2023 |
Disturbance bounds for signal temporal logic task satisfaction: A dynamics perspective P Akella, AD Ames IEEE Control Systems Letters 6, 2018-2023, 2021 | 4 | 2021 |
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 | 3 | 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 | 3 | 2022 |
Learning performance bounds for safety-critical systems P Akella, U Rosolia, AD Ames arXiv preprint arXiv:2109.04026, 2021 | 3 | 2021 |
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 | 2 | 2023 |
Test and evaluation of quadrupedal walking gaits through sim2real gap quantification P Akella, W Ubellacker, AD Ames arXiv preprint arXiv:2201.01323, 2022 | 2 | 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 | 2 | 2020 |
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 | 1 | 2024 |
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 | 1 | 2024 |
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 | 1 | 2023 |
A barrier-based scenario approach to verify safety-critical systems P Akella, AD Ames arXiv preprint arXiv:2202.11177, 2022 | 1 | 2022 |
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 | 1 | 2006 |
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 |