3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Yongchao Chen, Rujul Gandhi, Yang Zhang +1
Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) a…