Zpět na vyhledávání

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

rabin automata

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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 | Theses on a related topic

Translation of Linear Temporal Logic to Omega-Automata
 (Tomáš Babiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Monadická logika druhého řádu na nekonečných řetězcích a stromech
 (Jan Křetínský)

2007, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/y4l9q/ | Matematika / Obecná matematika | Theses on a related topic

Quantitative Probabilistic Verification in Distributed Environment
 (Jiří Appl)

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

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

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
 (Milan Češka)

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

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