171 citations · 937 across the 54 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2018★ 29 cited
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade +2
Recent successes in reinforcement learning have lead to the development of complex controllers for real-world robots. As these robots are deployed in safety-critical applications a…
eess.SY2015★ 10 cited
Safe Control under Uncertainty
Dorsa Sadigh, Ashish Kapoor
Controller synthesis for hybrid systems that satisfy temporal specifications expressing various system properties is a challenging problem that has drawn the attention of many rese…