Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.11743
Cited By
Adaptable and Verifiable BDI Reasoning
23 July 2020
Peter Stringer
R. C. Cardoso
Xiaowei Huang
Louise A. Dennis
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Adaptable and Verifiable BDI Reasoning"
1 / 1 papers shown
Title
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
183
933
0
21 Oct 2016
1
