Almost Linear Büchi Automata

Babiak,  Tomáš; Strejček,  Jan; Řehák,  Vojtěch

Almost Linear Büchi Automata

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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