Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

quantitative, formal, methods

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 17 theses)
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

List of theses with an identical keyword.

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

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 | 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

Signature verification
 (Václav Novák)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/pg7gr/ | Informatika / | Theses on a related topic

Verification of Memory Safety with Predator and Symbiotic
 (Tomáš Jašek)

2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

« 1 2 » (total: 17 theses)