共 14 条
[1]
[Anonymous], AUTOMATED DRIVING LE
[2]
Boschert S., 2019, Symbiotic Autonomous Systems: White Paper III
[3]
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
[4]
Harel D., 1985, LOGICS MODELS CONCUR, VF13
[6]
Harel D, 2019, AAAI CONF ARTIF INTE, P9770
[7]
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
[J].
COMPUTER AIDED VERIFICATION, CAV 2017, PT I,
2017, 10426
:97-117
[8]
Kone T. F., 2019, PROC INT C COMPLEX S, P176
[9]
Kounev S., 2017, Self-Aware Computing Systems
[10]
Mao Jiachen., 2019, 7 INT C LEARN REPR I, P1