Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

quantitative, formal, methods

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 16 prací)
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

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

Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
 (Himanshu Kumar Haran)

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

https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma

Monte Carlo Tree Search in Verification of Markov Decision Processes
 (Ondřej Slámečka)

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

https://is.muni.cz/th/axlhf/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Generic Platform for Explicit-Symbolic Verification
 (Vojtěch Havel)

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

https://is.muni.cz/th/iycsv/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

« 1 2 » (celkem 16 prací)