| List |
| Topic: | Rámec pro plnění inspekčních misí pro systém více robotů prostřednictvím specifikací Linear Temporal Logic |
|---|---|
| Department: | Multirobotické systémy |
| Supervisor: | Giuseppe Silano, Ph.D. |
| Announce as: | Diplomová práce, Bakalářská práce, Semestrální projekt |
| Description: |