Thesis (Selection of subject)Thesis (Selection of subject)(version: 393)
List of theses
   Login via CAS
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail 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
detail Controlled Landing of an Autonomous Drone 2012/2013 2012/2013 Bachelor's thesis IP prof. RNDr. Roman Barták, Ph.D. hidden 26.10.2012 29.10.2012 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Constraint satisfaction for HW/SW verification 2006/2007 2007/2008 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 06.11.2006 08.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Visual Editing of Domain Control Knowledge for Planning 2022/2023 2023/2024 Bachelor's thesis IPP5 prof. RNDr. Roman Barták, Ph.D. Bc. Martin Gráf 09.11.2022 22.11.2022 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Individual Route Planning for Shoppers 2025/2026 Bachelor's thesis IPA5 prof. RNDr. Roman Barták, Ph.D. hidden 09.07.2025 08.01.2026 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail 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
detail Hierarchical Plan Recognition 2023/2024 2023/2024 Bachelor's thesis prof. RNDr. Roman Barták, Ph.D. Bc. Benjamin Vincent Verner 11.03.2024 18.03.2024 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Planning of data transfers 2009/2010 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 06.10.2009 26.10.2009 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Compiling Planning Problems 2006/2007 2007/2008 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 06.10.2006 06.02.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Integrating Planning and Scheduling 2010/2011 2013/2014 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 04.05.2010 10.10.2010 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Timeline-based Planning 2011/2012 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 29.11.2011 12.12.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail 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
detail Hierarchical Plan Verification and Correction 2019/2020 2024/2025 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
detail Modelling and Solving Problems Using SAT Techniques 2010/2011 2013/2014 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 12.04.2010 10.10.2010 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Interactive Planning and Visualisation 2011/2012 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 23.10.2011 26.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Resolution-based methods for linear temporal reasoning 2007/2008 2015/2016 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 26.04.2007 12.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Logic Programming for Planning 2013/2014 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 09.01.2014 14.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Scheduling alternative processes 2011/2012 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 22.09.2011 24.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail School Timetabling 2011/2012 2012/2013 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 23.10.2011 02.11.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Filtering algorithms for scheduling problems 2005/2006 2004/2005 diploma thesis ISS prof. RNDr. Roman Barták, Ph.D. hidden 01.10.2001 17.10.2001 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Dynamic Temporal Networks 2006/2007 2008/2009 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 09.11.2006 09.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Approximate Techniques for Dynamic Vehicle Routing Problems 2022/2023 2023/2024 Bachelor's thesis IPP1 prof. RNDr. Roman Barták, Ph.D. Bc. David Zeman 09.11.2022 22.11.2022 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Omezující podmínky 2015/2016 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 03.06.2015 25.09.2015 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint solvers 2006/2007 2008/2009 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. JUDr. Michal Tuláček, Ph.D. 13.10.2006 27.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Learning for Classical Planning 2009/2010 2009/2010 rigorosum thesis prof. RNDr. Roman Barták, Ph.D. hidden 15.10.2009 15.10.2009 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint modelling 2006/2007 2006/2007 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 13.10.2006 08.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail AI Planning with Time and Resource Constraints 2007/2008 2008/2009 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 09.10.2007 25.10.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Motion planning for self-configuring robotic swarm 2024/2025 Bachelor's thesis IPP5 prof. RNDr. Roman Barták, Ph.D. Jindřich Petr Kantor 01.01.2025 02.01.2025 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Automated planing 2014/2015 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 24.10.2014 24.10.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Incomplete Search Techniques 2005/2006 2010/2011 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 06.10.2005 14.11.2005 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Filtering Algorithms for Tabular Constraints 2008/2009 2009/2010 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 01.10.2007 11.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail 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
detail 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
detail (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
detail 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
detail 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
detail Planning operations of space probes 2012/2013 2013/2014 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 17.09.2012 18.09.2012 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Classical planning techniques 2007/2008 2009/2010 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 21.10.2007 16.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Omezující podmínky v grafických uživatelských rozhraních vedoucí DP - Mgr. Roman Barták, Dr.- KTI 1996/1997 1998/1999 diploma thesis UMI prof. RNDr. Roman Barták, Ph.D. hidden 11.11.1998 28.04.1999 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Path planning in realistic 3D environments 2013/2014 2013/2014 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 01.01.2014 09.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Autonomous traffic junction 2020/2021 2022/2023 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. Mgr. Jiří Kotal 15.09.2021 24.09.2021 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
Results 1-50 of 154 1 2 3 4 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html