  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Path planning for multiple robots | 2021/2022 | Bachelor's thesis | I | prof. RNDr. Roman Barták, Ph.D. | 14.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Robust multi-agent path finding | 2019/2020 | rigorosum thesis | IUIP | prof. RNDr. Roman Barták, Ph.D. | 14.12.2019 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Visualisation of solutions to multi-criteria optimisation problems | 2009/2010 | school year task | prof. RNDr. Roman Barták, Ph.D. | 31.03.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Validation and Recognition of Hierarchical Plans | 2018/2019 | rigorosum thesis | IUI | prof. RNDr. Roman Barták, Ph.D. | 28.10.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Multi-agent Planning | 2021/2022 | dissertation | P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. | 13.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
(Re)formulating planning problems | 2021/2022 | dissertation | P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. | 13.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Robust multi-agent path finding | 2019/2020 | rigorosum thesis | IUIP | prof. RNDr. Roman Barták, Ph.D. | 14.12.2019 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Area mapping by an autonomous drone | 2017/2018 | diploma thesis | IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. | 12.08.2014 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Generating planning models | 2017/2018 | diploma thesis | IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. | 09.11.2008 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Validator of Hierarchical Plans | 2021/2022 | Bachelor's thesis | I | prof. RNDr. Roman Barták, Ph.D. | 14.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Visualisation of container terminals | 2009/2010 | school year task | prof. RNDr. Roman Barták, Ph.D. | 04.11.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Plan Execution and Monitoring for AR.Drone | 2017/2018 | Bachelor's thesis | I | prof. RNDr. Roman Barták, Ph.D. | 13.01.2012 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Safe Fly - Drone Pilot Assistance System | 2021/2022 | diploma thesis | IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. | 13.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Autonomous Planning for Multi-Robot Systems | 2021/2022 | dissertation | P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. | 20.12.2019 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Trajectory Planning for Drone Swarm | 2025/2026 | Bachelor's thesis | prof. RNDr. Roman Barták, Ph.D. | 09.11.2022 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Formal Automata and Planning | 2018/2019 | diploma thesis | IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. | 18.03.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
User Interfaces for Planning | 2021/2022 | Bachelor's thesis | I | prof. RNDr. Roman Barták, Ph.D. | 14.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Compilation Approaches to Automated Planning | 2021/2022 | Bachelor's thesis | I | prof. RNDr. Roman Barták, Ph.D. | 14.02.2018 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Robust multi-agent path finding | 2019/2020 | rigorosum thesis | IUIP | prof. RNDr. Roman Barták, Ph.D. | 14.12.2019 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Container Loading Optimization | 2009/2010 | school year task | prof. RNDr. Roman Barták, Ph.D. | 11.10.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Results 1-20 of 20 1