91 citations · 92 across the 2 of their papers we have counts for
1 paper · 2 filters
R. M. Jensen, M. M. Veloso
Recently model checking representation and search techniques were shown to be efficiently applicable to planning, in particular to non-deterministic planning. Such planning approac…