MIPS: The model-checking integrated planning system

AI Magazine

Volumn 22, Issue 3, 2001, Pages 67-71

  Edelkamp, S ^a   Helmert, M ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DECISION THEORY; PLANNING; STATE SPACE METHODS;

BINARY DECISION DIAGRAMS (BDD);

ARTIFICIAL INTELLIGENCE;

EID: 0035443448     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (7)

1. Graph-based algorithms for boolean function manipulation
2. Conformant planning via model checking
3. Strong cyclic planning revisited
4. Directed symbolic exploration and its application to AI planning
5. On the implementation of MIPS
6. Exhibiting knowledge in planning problems to minimize state encoding length
7. Admissible heuristics for optimal planning