1–1 von 1 Ergebnissen
|

    Synthesis of provably correct controllers for autonomous vehicles in urban environments

    Freier Zugriff
    Wongpiromsarn, Tichakorn / Karaman, Sertac / Frazzoli, Emilio | DSpace@MIT | 2011
    This paper considers automatic synthesis of provably correct controllers for autonomous vehicles operating in an urban environment ...
    Verlag: Institute of Electrical and Electronics Engineers (IEEE)