Edelkamp%2C%20Stefan

• AI Magazine Vol. 22 No. 3: Fall 2001 - Articles
  MIPS: The Model-Checking Integrated Planning System
  Abstract  PDF
• AI Magazine Vol. 31 No. 4: Winter 2010 - Workshop Reports
  Reports of the AAAI 2010 Conference Workshops
  Abstract  PDF