共 36 条
[1]
Barrett C., 2018, Handbook of model checking, P305, DOI DOI 10.1007/978-3-319-10575-8_11
[2]
Cao Z., 2020, ARXIV200700178
[3]
Censi A, 2019, IEEE INT CONF ROBOT, P8536, DOI [10.1109/icra.2019.8794364, 10.1109/ICRA.2019.8794364]
[4]
Collin A, 2020, IEEE INT VEH SYM, P136, DOI 10.1109/IV47402.2020.9304588
[5]
Maximum Realizability for Linear Temporal Logic Specifications
[J].
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018),
2018, 11138
:458-475
[6]
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
[J].
2021 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS),
2021,
:6708-6715
[7]
PredictionNet: Real-Time Joint Probabilistic Traffic Prediction for Planning, Control, and Simulation
[J].
2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2022,
2022,
:8936-8942
[8]
Katz S. M., 2021, ARXIV210302727
[9]
King DB, 2015, ACS SYM SER, V1214, P1, DOI 10.1021/bk-2015-1214.ch001
[10]
Kong J, 2015, IEEE INT VEH SYM, P1094, DOI 10.1109/IVS.2015.7225830