共 42 条
[1]
Abadi M, 2016, PROCEEDINGS OF OSDI'16: 12TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, P265
[2]
Angelova A, 2015, IEEE INT CONF ROBOT, P704, DOI 10.1109/ICRA.2015.7139256
[3]
[Anonymous], TECH REP
[4]
[Anonymous], NEXT GENERATION EXAS
[5]
[Anonymous], 2015, HDB UNCERTAINTY QUAN
[6]
[Anonymous], 2000, PROBABILITY RELIABIL
[7]
[Anonymous], TECH REP
[8]
[Anonymous], NEXT GENERATION MULT
[9]
[Anonymous], 1993, Tech. Rep.)
[10]
[Anonymous], 1998, VERIFICATION VALIDAT