Almost Linear Büchi Automata

Investor logo
Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. 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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info