Detail of the student project

List
Topic:Signal Temporal Logic jako nástroj pro zakódování inspekční mise pro quad-rotor
Department: Multirobotické systémy
Supervisor:Giuseppe Silano, Ph.D.
Announce as:Diplomová práce, Bakalářská práce, Semestrální projekt
Description:
Responsible person: Petr Pošík