1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jianwen Li, Geguang Pu, Lijun Zhang +3
In this paper, we consider the problem of translating LTL formulas to Buechi automata. We first translate the given LTL formula into a special disjuctive-normal form (DNF). The for…