LTL to Büchi Automata: Improved Once Again
Tomáš Babiak · 2010
Představujeme vylepseni algoritmu, který překlada LTL formule na Buchiho automaty pomoci alternujicich automatů. Konkretněji zlepsujeme převod alternujicich Buchiho automatů na generalizovane Buchiho automaty, kde docasně ignorujeme některe přechody vedouci ze stavů alternujiciho automatu, ktere odpovidaji prefixově invariantnim formulim, což může vest k rychlejsimu překladu.