论文信息 - Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles - 字舞流文

Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles

Yousaf Rahman | Md Tawhid Bin Waez | Yuming Niu | Yousaf Rahman | Yuming Niu

[1] Matthias Althoff,et al. Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space , 2017 .

[2] Clare Dixon,et al. Formal Specification and Verification of Autonomous Robotic Systems , 2018, ACM Comput. Surv..

[3] Rajesh Rajamani,et al. Vehicle dynamics and control , 2005 .