|
Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
|
Semantics and transformations of HTN models |
2023/2024 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
11.03.2024 |
18.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hierarchical Plan Recognition |
2023/2024 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
Benjamin Vincent Verner |
11.03.2024 |
18.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Trajectory Planning for Drone Swarm |
2023/2024 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
|
09.11.2022 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for multi-agent planning |
2023/2024 |
|
dissertation |
P4I1A | prof. RNDr. Roman Barták, Ph.D. |
hidden |
29.05.2023 |
16.10.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent path finding in real environments |
2023/2024 |
|
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
28.04.2023 |
19.09.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Approximate Techniques for Dynamic Vehicle Routing Problems |
2022/2023 |
|
Bachelor's thesis |
IPP1 | prof. RNDr. Roman Barták, Ph.D. |
David Zeman |
09.11.2022 |
22.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Constructing policies for multi-agent path finding |
2022/2023 |
2022/2023 |
diploma thesis |
IUIP | prof. RNDr. Roman Barták, Ph.D. |
hidden |
30.11.2022 |
06.12.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Visual Editing of Domain Control Knowledge for Planning |
2022/2023 |
|
Bachelor's thesis |
IPP5 | prof. RNDr. Roman Barták, Ph.D. |
Martin Gráf |
09.11.2022 |
22.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for Multi-Agent Pickup-and-Delivery Problems |
2022/2023 |
2022/2023 |
Bachelor's thesis |
IPP1 | prof. RNDr. Roman Barták, Ph.D. |
Bc. Petr Šmíd |
10.11.2022 |
29.03.2023 | 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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Multi-agent Path Finding |
2021/2022 |
2021/2022 |
rigorosum thesis |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
25.01.2022 |
25.01.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Detection of inconsistencies during multi-agent plans’ execution |
2021/2022 |
2020/2021 |
Bachelor's thesis |
ISDI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
08.04.2021 |
07.06.2021 | 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 |
|
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 |
|
(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 |
|
Path planning for multi-robot warehouses |
2020/2021 |
2020/2021 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
10.03.2021 |
24.03.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Autonomous traffic junction |
2020/2021 |
2022/2023 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
Bc. Jiří Kotal |
15.09.2021 |
24.09.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Environment for experiments with multi-agent path finding |
2020/2021 |
|
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
05.10.2020 |
30.06.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Co-ordinated Path Finding for a Robot Swarm |
2019/2020 |
2019/2020 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
03.11.2019 |
29.11.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Autonomous robotics |
2019/2020 |
|
dissertation |
DP4I1A | prof. RNDr. Roman Barták, Ph.D. |
hidden |
23.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent picker routing problem |
2019/2020 |
2020/2021 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
20.07.2020 |
22.07.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Virtual Warehouse |
2019/2020 |
2020/2021 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
24.07.2020 |
25.07.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Compilation-based Approaches for Automated Planning |
2019/2020 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.10.2019 |
16.10.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hierarchical Planning |
2019/2020 |
|
dissertation |
DP4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Robust multi-agent path finding |
2019/2020 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.12.2019 |
18.12.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Automated Planning |
2019/2020 |
|
dissertation |
DP4I1A | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Plan recognition |
2019/2020 |
|
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
20.04.2020 |
08.09.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Editor of hierarchical planning models |
2019/2020 |
|
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
04.08.2020 |
18.08.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Validation and Recognition of Hierarchical Plans |
2018/2019 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
28.10.2018 |
05.11.2018 | 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 |
|
Compilation Approaches to Multi-agent Path Finding |
2018/2019 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.02.2018 |
11.07.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Smart Traffic Intersection |
2018/2019 |
2018/2019 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
10.10.2018 |
11.10.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
From abstract to executable plans |
2018/2019 |
2019/2020 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
28.03.2019 |
29.11.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Search-and-Track Techniques for Autonomous Drone |
2018/2019 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
11.10.2018 |
04.12.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Visual tracking of multiple robots |
2018/2019 |
2018/2019 |
Bachelor's thesis |
IPSS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.12.2018 |
03.12.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent Path Finding on Ozobots |
2017/2018 |
2017/2018 |
Bachelor's thesis |
IPSS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
29.06.2018 |
29.06.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Monte Carlo Techniques in Planning |
2017/2018 |
2018/2019 |
rigorosum thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.08.2018 |
09.08.2018 | 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 |
|
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 |
|
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 |
|
Planning for container terminals |
2017/2018 |
|
Bachelor's thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
|
04.11.2009 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Trajectory planning for fast moving cars |
2017/2018 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
03.04.2018 |
03.04.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
3D Navigation for Mobile Robots |
2016/2017 |
2016/2017 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
13.11.2016 |
14.11.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Visual Localization of an Object in 3D Space |
2016/2017 |
2017/2018 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
27.11.2016 |
29.11.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Planning for Transportation Problems |
2016/2017 |
2016/2017 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
27.11.2016 |
29.11.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Capturing, Visualizing, and Analyzing Data from Drones |
2015/2016 |
2015/2016 |
Bachelor's thesis |
IPSS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
24.11.2015 |
24.11.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
Results 1-50 of 136 1 2 3 next
|