Theses on the same topic (having an identical keyword):
quantitative, formal, methodsKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
Experimental Verification of a Synergy of Techniques for Efficient Similarity Search in Metric Spaces
(Iuliia Mariachkina)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m14as/ | Informatika / Počítačové systémy a zpracování dat | Theses on a related topic
Authorship verification via cloze-test
(Tomáš Kancko)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bz1lo/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
Updates of distributed provenance chains with integrity verification
(Radomír Mann)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xnbu3/ | Informatika / | Theses on a related topic