Prithvi Akella

According to our database1, Prithvi Akella authored at least 10 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective.
IEEE Control. Syst. Lett., 2022

Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification.
CoRR, 2022

A Scenario Approach to Risk-Aware Safety-Critical System Verification.
CoRR, 2022

A Barrier-Based Scenario Approach to Verify Safety-Critical Systems.
CoRR, 2022

Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification.
CoRR, 2022

2021
Learning Performance Bounds for Safety-Critical Systems.
CoRR, 2021

2020
Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization.
CoRR, 2020

Information-Collection in Robotic Process Monitoring: An Active Perception Approach.
CoRR, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Set-Based Adaptive Safety Control.
CoRR, 2019


  Loading...