LTL to Büchi Automata: Improved Once Again

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	LTL na Büchiho Automaty: Opětovně vylepšeno
Autoři	BABIAK Tomáš
Rok publikování	2010
Druh	Další prezentace na konferencích
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Představujeme vylepšení algoritmu, který překládá LTL formule na Büchiho automaty pomocí alternujících automatů. Konkrétněji zlepšujeme převod alternujících Büchiho automatů na generalizované Büchiho automaty, kde dočasně ignorujeme některé přechody vedoucí ze stavů alternujícího automatu, které odpovídají prefixově invariantním formulím, což může vést k rychlejšímu překladu.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Rozsáhlé výpočetní systémy: modely, aplikace a verifikace