7 citations · 7 across the 9 of their papers we have counts for
1 paper · 2 filters
Licheng Luo, Kaier Liang, Yu Xia +1
While Temporal Logic provides a rigorous verification framework for robotics, it typically operates on trajectory-level signals and does not natively represent the object-centric g…