共 14 条
[1]
[Anonymous], AUTOMATED DRIVING LE
[2]
[Anonymous], 2017, ARXIV170806374
[3]
Boschert S., 2019, Symbiotic Autonomous Systems: White Paper III
[4]
Damm Werner, 2018, Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (LNCS 10760), P182, DOI 10.1007/978-3-319-95246-8_11
[5]
Harel D., 1985, LOGICS MODELS CONCUR, VF13
[7]
Harel D, 2019, AAAI CONF ARTIF INTE, P9770
[8]
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
[J].
COMPUTER AIDED VERIFICATION, CAV 2017, PT I,
2017, 10426
:97-117
[9]
Kone T. F., 2019, PROC INT C COMPLEX S, P176
[10]
Kounev Samuel, 2017, Self-Aware Computing Systems