ResearchTrend.AI
Systems Challenges for Trustworthy Embodied Systems

Systems Challenges for Trustworthy Embodied Systems

Harald Ruess
ArXivPDFHTML

Papers citing "Systems Challenges for Trustworthy Embodied Systems"

3 / 3 papers shown
Title
Evidential Transactions with Cyberlogic
Evidential Transactions with Cyberlogic
Harald Ruess
N. Shankar
16
0
0
20 Mar 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
251
1,842
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
183
933
0
21 Oct 2016