91 citations · 91 across the 1 of their papers we have counts for
1 paper
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…