9 citations · 17 across the 19 of their papers we have counts for
Showing 2020 · eess.SYShow all
2 papers · 2 filters
eess.SY2020
Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization
Prithvi Akella, Ugo Rosolia, Andrew Singletary +1
As control systems become increasingly more complex, there exists a pressing need to find systematic ways of verifying them. To address this concern, there has been significant wor…
eess.SY2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray +1
The prolific rise in autonomous systems has led to questions regarding their safe instantiation in real-world scenarios. Failures in safety-critical contexts such as human-robot in…