| 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 | 16 | 2022 |
| A scenario approach to risk-aware safety-critical system verification P Akella, M Ahmadi, AD Ames arXiv preprint arXiv:2203.02595, 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 | 12 | 2019 |
| A barrier-based scenario approach to verifying safety-critical systems P Akella, AD Ames IEEE Robotics and Automation Letters 7 (4), 11062-11069, 2022 | 10 | 2022 |
| 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 | 8 | 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 | 4 | 2023 |
| 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 |
| 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 | 3 | 2023 |
| 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 |
| Verifiably safe reinforcement learning with probabilistic guarantees via temporal logic H Krasowski, P Akella, A Ames, M Althoff arXiv preprint arXiv:2212.06129, 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 arXiv preprint arXiv:2301.09622, 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 |
| Disturbance bounds for signal temporal logic task satisfaction: A dynamics perspective P Akella, AD Ames IEEE Control Systems Letters 6, 2018-2023, 2021 | 1 | 2021 |
| 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 |
| 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 | | 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 | | 2023 |
| Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems P Akella, AD Ames 2023 62nd IEEE Conference on Decision and Control (CDC), 79-85, 2023 | | 2023 |
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechVerified email at cds.caltech.edu
