7 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a…