Personal information

No personal information available

Activities

Collapse all

Works (4)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

IEEE Transactions on Automatic Control
2024 | Journal article
DOI: 10.1109/TAC.2024.3505817
Contributors: Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames
Source: check_circle
Crossref

Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification

Artificial Intelligence
2024-11 | Journal article
DOI: 10.1016/j.artint.2024.104195
Contributors: Prithvi Akella; Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick; Aaron D. Ames
Source: check_circle
Crossref

Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2021.3137267
Contributors: Prithvi Akella; Aaron D. Ames
Source: check_circle
Crossref

A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems

IEEE Robotics and Automation Letters
2022-10 | Journal article
DOI: 10.1109/LRA.2022.3192805
Contributors: Prithvi Akella; Aaron D. Ames
Source: check_circle
Crossref
How many people are using ORCID?