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: |
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: |