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

ltl

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

« 1 2 3 » (celkem 21 prací)
Translation of LTL to Semi-Deterministic Automata via Alternating Automata
 (Michal Románek)

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

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

Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
 (Dávid Meluš)

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

https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma

Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
 (Juraj Major)

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

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

Grafická reprezentace formulí logiky LTL
 (Michal Keda)

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

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

Translation of LTL to omega-automata
 (Tomáš Babiak)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

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

Translation of an LTL fragment to deterministic Rabin and Streett automata
 (František Blahoudek)

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

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

Untimed LTL Model Checking of Timed Automata
 (Jan Havlíček)

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

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

Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

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

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

Počítačová podpora pro specifikaci požadavků v LTL
 (Vladimír Bača)

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

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

Paralelní verifikace LTL(F,G) vlastností
 (Jitka Kudrnáčová)

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

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

« 1 2 3 » (celkem 21 prací)