Current position: Home >> Scientific Research >> Paper Publications

基于凸优化的无人驾驶汽车转向角安全性验证

Release Time:2024-09-27  Hits:

Date of Publication: 2024-03-30

Journal: 软件学报

Volume: 34

Issue: 6

Page Number: 2586-2605

ISSN: 1000-9825

CN: 11-2560/TP

Prev One:Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking

Next One:A Dual Relaxation Method for Neural Network Verification
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:Times MOBILE Version
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep