9 citations · 51 across the 16 of their papers we have counts for
1 paper · 1 filter
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…