6 citations · 11 across the 13 of their papers we have counts for
1 paper · 2 filters
Yue Fang, Zhi Jin, Jie An +3
Temporal Logic (TL), especially Signal Temporal Logic (STL), enables precise formal specification, making it widely used in cyber-physical systems such as autonomous driving and ro…