3 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
Zhi Ma, Xiao Liang, Cheng Wen +5
In the development and verification of safety-critical aero-space software, Linear Temporal Logic (LTL) has been widely used to specify complex system properties derived from requi…