共 36 条
[11]
Leung K., 2020, ARXIV200800097
[12]
Leurent E., 2018, An environment for autonomous driving decisionmaking
[13]
Levine S., 2012, P 29 INT COF INT C M, P41
[14]
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories
[J].
2022 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV),
2022,
:449-456
[16]
Monitoring temporal properties of continuous signals
[J].
FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS,
2004, 3253
:152-166
[17]
Specifying User Preferences Using Weighted Signal Temporal Logic
[J].
IEEE CONTROL SYSTEMS LETTERS,
2021, 5 (06)
:2006-2011
[18]
Ng A. Y., 2000, P INT C MACH LEARN, P663
[19]
Paszke A., 2019, Adv. Neural Inf. Process. Syst., P32, DOI DOI 10.48550/ARXIV.1912.01703
[20]
Phan-Minh T., 2022, ARXIV220603004