39 citations · 57 across the 13 of their papers we have counts for
1 paper · 1 filter
Tomáš Babiak, Vojtěch Řehák, Jan Strejček
We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective tran…