38 citations · 87 across the 7 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 38 cited
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Kai-Chieh Hsu, Vicenç Rubies-Royo, Claire J. Tomlin +1
Reach-avoid optimal control problems, in which the system must reach certain goal conditions while staying clear of unacceptable failure modes, are central to safety and liveness a…
cs.LG2019★ 22 cited
Fast Neural Network Verification via Shadow Prices
Vicenc Rubies-Royo, Roberto Calandra, Dusan M. Stipanovic +1
To use neural networks in safety-critical settings it is paramount to provide assurances on their runtime operation. Recent work on ReLU networks has sought to verify whether input…