Essays about: "Haukur Ingi Heidarsson"

Found 1 essay containing the words Haukur Ingi Heidarsson.

  1. 1. Simulation and Implementation of Temporal Logic-based Motion Planning for Autonomous Vehicles

    University essay from KTH/Reglerteknik

    Author : Haukur Ingi Heidarsson; [2014]
    Keywords : ;

    Abstract : This thesis focuses on temporal logic-based motion planning for autonomous ve- hicles. Specically planning based on Linear Temporal Logic statements. This type of motion planning allows for automatic generation of correct by construc- tion controllers that implement missions dened in a language that is both quite expressive and easy to understand. READ MORE