共 27 条
[1]
Provably-Correct and Comfortable Adaptive Cruise Control
[J].
IEEE TRANSACTIONS ON INTELLIGENT VEHICLES,
2021, 6 (01)
:159-174
[2]
Andersen M, 2012, OPTIMIZATION FOR MACHINE LEARNING, P55
[3]
[Anonymous], 2011, Modern control systems
[4]
Bojarski Mariusz, 2016, arXiv
[5]
Chen Y., 2015, IEEE T CONTR SYST T
[6]
Cofer D., 2020, NASA FORMAL METHODS
[7]
Run-Time Assurance for Learning-Based Aircraft Taxiing
[J].
2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS,
2020,
[8]
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
[J].
2019 49TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2019),
2019,
:138-150
[9]
Dosovitskiy A, 2017, PR MACH LEARN RES, V78
[10]
Heckemann Karl, 2011, Knowledge-Based and Intelligent Information and Engineering Systems. Proceedings 15th International Conference, KES 2011, P167, DOI 10.1007/978-3-642-23866-6_18