National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
A Library for Computing Simulation Relations over Büchi Automata
Odvárka, Daniel ; Holík, Lukáš (referee) ; Lengál, Ondřej (advisor)
Tato práce popisuje téma simulací relací nad Büchiho automaty a využití těchto relací simulací. Relace simulací jsou důležité pro snižování stavového prostoru automatů, nebo dále pro kontrolu pod aproximace jazykové inkluze. Dále popisujeme téma paritních her, které je úzce spojeno s výpočtem relací simulací pro některé typy simulací. Podívame se také na různé algoritmy pro řešení relací simulací. Zmíněné algoritmy byly implementovány v jazyce C++ a implementace byla porovnána s nástrojem RABIT. Z experimentů je vidno, že je naše implementace lepší pouze pro  menší automaty.
A Library for Computing Simulation Relations over Büchi Automata
Odvárka, Daniel ; Holík, Lukáš (referee) ; Lengál, Ondřej (advisor)
Tato práce popisuje téma simulací relací nad Büchiho automaty a využití těchto relací simulací. Relace simulací jsou důležité pro snižování stavového prostoru automatů, nebo dále pro kontrolu pod aproximace jazykové inkluze. Dále popisujeme téma paritních her, které je úzce spojeno s výpočtem relací simulací pro některé typy simulací. Podívame se také na různé algoritmy pro řešení relací simulací. Zmíněné algoritmy byly implementovány v jazyce C++ a implementace byla porovnána s nástrojem RABIT. Z experimentů je vidno, že je naše implementace lepší pouze pro  menší automaty.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.