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