Essays about: "Lukas Schönbächler"

Found 1 essay containing the words Lukas Schönbächler.

  1. 1. A Graphical User Interface for the Hybrid Control of Multi-Robot Systems under Linear Temporal Logic

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Lukas Schönbächler; [2018]
    Keywords : ;

    Abstract : In recent years the model checking theory was applied successfullyfor robot motion and task planning by specifying the workspace asa weighted finite transition system and tasks as linear temporal logicformulas. The tasks contain hard and soft-specifications which are assignedto an agent in a multi-robot system. READ MORE