Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Quantitative Formal Methods for High-level Robot Path Planning
(Jana Tůmová)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Quantitative Formal Methods for High-level Robot Path Planning
(Jana Tůmová)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Control Strategy Synthesis for Path Planning under Temporal Constraints
(Mária Svoreňová)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Explicit predictive control in application
(Kirill Lastochkin)2015, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci
• http://theses.cz/id//er2fta// | Electrical Engineering and Informatics / Mechatronics | Práce na příbuzné téma
Effect of Harvesting Systems on the Undergrowth in Himalayan Moist Temperate Forests of Pakistan
(Javed Iqbal)2021, Disertační práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//ek2bql// | Forestry Engineering / Silviculture | Práce na příbuzné téma
Formal Methods in Optimal Discrete Path Planning with Uncertainty
(Mária Svoreňová)2013, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oaqti/ | Informatika / | Práce na příbuzné téma
Quantitative Formal Methods for High-level Robot Path Planning
(Jana Tůmová)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Control Strategy Synthesis for Path Planning under Temporal Constraints
(Mária Svoreňová)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Validation of Violation Witnesses in Software Verification
(Paulína Ayaziová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zuyyc/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
String Analysis for Software Verification
(Martina Olliaro)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Práce na příbuzné téma