Fan, C., Miller, K., & Mitra, S. (2020). Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. Computer Aided Verification.
Citação norma ChicagoFan, Chuchu, Kristina Miller, and Sayan Mitra. "Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models." Computer Aided Verification 2020.
MLA CitationFan, Chuchu, Kristina Miller, and Sayan Mitra. "Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models." Computer Aided Verification 2020.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.