( en | de | ru )

 

Disambiguation of "Akella, Prithvi"

Author of the publication

copydeleteadd this publication to your clipboard
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification.

, , , , , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prithvi Raj Bhandari

Prithvi Raj Gulati

 

Other publications of authors with the same name

A Barrier-Based Scenario Approach to Verify Safety-Critical Systems., and . CoRR, (2022)Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications., , , and . CoRR, (2023)Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic., , , and . CoRR, (2022)Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data., , , and . CoRR, (2022)Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces., , , and . CDC, page 4372-4378. IEEE, (2023)Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization., , , and . CoRR, (2020)Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification., , and . CoRR, (2022)A Scenario Approach to Risk-Aware Safety-Critical System Verification., , and . CoRR, (2022)Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification., , , , and . CoRR, (2022)Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions., , , and . CDC, page 790-795. IEEE, (2020)