On the Implementation of MIPS


Planning is a central topic of AI and provides solutions to problems given in a problem independent formalism. Recent successes in the exploration of model checking and single-agent search problems have led to a generalization of the symbolic exploration method with binary decision diagrams (BDDs). In this paper we present the use, architecture… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

54 Citations

Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics