Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.08198
Cited By
Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty
22 January 2020
Tom Hirshberg
Sai H. Vemprala
Ashish Kapoor
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty"
1 / 1 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,838
0
03 Feb 2017
1
