12 citations · 43 across the 22 of their papers we have counts for
1 paper · 1 filter
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power network…