Prof. Roman Barták: Students

I supervise students at all levels of educations (undergraduate, graduate, doctoral). There is a list of students with topics of their thesis and academic years of defence.

If you are a student that is interested in writing thesis with me as a supervisor, then feel free to contact me. I basically cover topics from various areas of artificial intelligence, mainly planning, scheduling, constraint satisfaction, and robotics.

Doctoral students (defended PhD Thesis):

Trunda Otakar, Heuristic Learning for Domain-independent Planning, 2022/2023
Vlk Marek, Optional Activities in Scheduling, 2020/2021
Švancara Jiří, Multi-agent Path Finding, 2019/2020
Suda Martin, Resolution-based methods for linear temporal reasoning, 2015/2016
Toropila Daniel, Efficient Representations and Conversions of Planning Problems, 2014/2015
Dvořák Filip, Integrating Planning and Scheduling, 2013/2014
Balyo Tomáš, Modelling and Solving Problems Using SAT Techniques, 2013/2014
Chrpa Lukáš, Learning for Classical Planning, 2008/2009
Surynek Pavel, Constraint Programming in Planning, 2007/2008
Vilím Petr, Global Constraints in Scheduling, 2006/2007
Müller Tomáš, Constraint-based Timetabling, 2005/2006

Graduate students (defended Master Thesis):

Mestek Jakub, Konstrukce strategií pro multi-agentní hledání cest, 2022/2023
Nekvinda Michal, Hledání robustních cest pro více agentů, 2019/2020
Patík Vladimír, Vyhledávání a sledování objektů autonomním dronem, 2019/2020
Pantůčková Kristýna, Compilation-based Approaches for Automated Planning, 2019/2020
Rozsíval Šimon, Trajectory planning for fast moving cars, 2019/2020
Ondrčková Simona, Validation and Recognition of Hierarchical Plans, 2019/2020
Škopková Věra, Smart Traffic Junction, 2019/2020
Krejčí Tomáš, Lifelong localization of robots, 2017/2018
Škoda Jan, 3D Navigation for Mobile Robots, 2016/2017
Kuckir Ivan, Exploiting Structures in Automated Planning, 2016/2017
Dvořák Tomáš, Hierarchical Modeling of Planning Problems, 2015/2016
Novák Ladislav, Schedule analysis, 2014/2015
Vlk Marek, Dynamic Scheduling, 2013/2014
Tuláček Michal, Algorithms for automated logistics, 2013/2014
Kolombo Martin, Planning operations of space probes, 2013/2014
Jelínek Jan, Planning Solar Array Operations on the ISS, 2013/2014
Trunda Otakar, Monte Carlo Techniques in Planning, 2012/2013
Všetička Martin, School Timetabling, 2012/2013
Skalický Tomáš, Interactive scheduling and visualisation, 2011/2012
Vodrážka Jindřich, Modelling Planning Problems, 2011/2012
Huml Tomáš, Project portfolio optimisation with time and resources, 2011/2012
Kypta Tomáš, Search Strategies for Scheduling Problems, 2011/2012
Chovanec Andrej, Constraint satisfaction for inductive logic programming, 2010/2011
Rovenský Vladimír, Workflow Modelling, 2010/2011
Pacinda Štefan, Workforce Optimisation, 2010/2011
Nguyen Son Tung, Constrained activity sequencing, 2009/2010
Molnár Martin, Filtering Algorithms for Tabular Constraints, 2009/2010
Dvořák Filip, AI Planning with Time and Resource Constraints, 2008/2009
Zykán Pavel, Dynamic Temporal Networks, 2008/2009
Vlk Rudolf, Temporal networks, 2008/2009
Toropila Daniel, Compiling Planning Problems, 2007/2008
Cigler Luděk, Constraint satisfaction for HW/SW verification, 2007/2008
Hejna Martin, Global Constraints with Cost, 2006/2007
Kasl Tomáš, Solving over-constrained problems, 2005/2006
Pilch Bogdan, Filtering algorithms for scheduling problems, 2004/2005
Surynek Pavel, Řešení dynamických problémů s podmínkami, 2003/2004
Vyskočil Jiří, Efektivní a rozšiřitelné implementace Prologu, 2002/2003
Erben Radek, Konzistenční techniky pro omezující podmínky, 2002/2003
Michalský Richard, Algoritmy splňování omezujících podmínek, 2000/2001
Müller Tomáš, Interaktivní tvorba rozvrhů, 2000/2001
Vilím Petr, Řešení globálních podmínek, 2000/2001
Mecl Roman, Omezující podmínky v grafických uživatelských rozhraních, 1998/1999

Undergraduate students (defended Bachelor Thesis):

Verner Benjamin Vincent, Hierarchical Plan Recognition, 2023/2024
Slezák Jan, Social Laws for Multi-Agent Path Finding, 2023/2024
Zeman David, Approximate Techniques for Dynamic Vehicle Routing Problems, 2023/2024
Gráf Martin, Visual Editing of Domain Control Knowledge for Planning, 2023/2024
Šmíd Petr, Algorithms for Multi-Agent Pickup-and-Delivery Problems, 2022/2023
Kotal Jiří, Autonomní křižovatka, 2022/2023
Mintál Samuel, Detekce nekonzistencí při provádění multi-agentních plánů, 2020/2021
Krejčí Jiří, Multi-agent picker routing problem, 2020/2021
Tauchmanová Klára, Plánování cest pro multi-robotické sklady, 2020/2021
Hájek Břetislav, Virtuální sklad, 2020/2021
Mestek Jakub, Hledání koordinovaných cest pro skupinu robotů, 2019/2020
Wiesner Robert, Od abstraktních k proveditelným plánům, 2019/2020
Lechovský Adam, Visual tracking of multiple robots, 2018/2019
Krasičenko Ivan, Multi-agent Path Finding on Ozobots, 2017/2018
Bátoryová Jana, Visual Localization of an Object in 3D Space, 2017/2018
Škopek Ondrej, Planning for Transportation Problems, 2016/2017
Kučera Jiří, Learning planning models, 2016/2017
Procházka Tomáš, Capturing, Visualizing, and Analyzing Data from Drones, 2015/2016
Amemori Josef, Cellular Automata, 2013/2014
Vyškovský Adam, Object tracking by a flying drone, 2013/2014
Škoda Jan, Stabilisation of a flying drone in dynamic environments, 2013/2014
Matzner Filip, Tracking of 3D Movement, 2013/2014
Ondrejáš Michal, Path planning in realistic 3D environments, 2013/2014
Doležal Lukáš, Personal Timetabling, 2012/2013
Hraško Andrej, Controlled Landing of an Autonomous Drone, 2012/2013
Glinský Radoslav, Visualization and verification of plans, 2010/2011
Sasák Róbert, Classical planning techniques, 2009/2010
Tuláček Michal, Constraint solvers, 2008/2009
Skalický Tomáš, Interactive Gantt Charts, 2008/2009
Mlejnek Jaroslav, Global Constraints, 2007/2008
Huml Tomáš, Portfolio Optimisation, 2007/2008
Haničinec Tomáš, Constraint modelling, 2006/2007