24 citations · 96 across the 43 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…