91 citations · 92 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2011★ 91 cited
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
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…
cs.AI2007
Calculating Valid Domains for BDD-Based Interactive Configuration
Tarik Hadzic, Rune Moller Jensen, Henrik Reif Andersen
In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largel…