activity
20202023
most citedPlanning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

6 citations · 7 across the 4 of their papers we have counts for

collaborators

4 papers