Sciweavers

3 search results - page 1 / 1
» OBDD-based Universal Planning for Synchronized Agents in Non...
Sort
View
JAIR
2000
96views more  JAIR 2000»
13 years 4 months ago
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
Rune M. Jensen, Manuela M. Veloso