The model checking integrated planning system (MIPS

MIPS, model checking has eventually approached classical AI planning. It was the first planning system based on for-1 mal verification techniques that turned out to be competitive with the various Graphplan- or SAT-based approaches on a 0 broad spectrum of domains. MIPS uses binary decision diagrams (BDDs, introduce