Almost Linear Büchi Automata

• Authors: BABIAK Tomáš; STREJČEK Jan; ŘEHÁK Vojtěch
• Year of publication: 2010
• Type: Appeared in Conference without Proceedings
• MU Faculty or unit: Faculty of Informatics
• Description: We introduce a new class of Büchi automata (BA) called Almost linear Büchi automata (ALBA) and a corresponding fragment of Linear temporal logic (LTL) called LIO.

Related projects

• Highly Parallel and Distributed Computing Systems
• New possibilities in automatic verification of network protocols
• Verification and Analysis of Large-Scale Computer Systems
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace