6 citations · 15 across the 12 of their papers we have counts for
1 paper · 2 filters
Duo Xu, Faramarz Fekri
In many real-world applications of control system and robotics, linear temporal logic (LTL) is a widely-used task specification language which has a compositional grammar that natu…