LTL to Büchi Automata: Improved Once Again

• 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
• 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