OBDD-based universal planning for synchronized agents in non-deterministic domains

Recently model checking representation and search techniques were shown to be efficiently applicable to planning, in particular to non-deterministic planning. Such planning approaches use Ordered B...