2 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Aadesh Neupane, Eric G Mercer, Michael A. Goodrich
Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive. This paper sho…