Models and Methods for Plan Diagnosis

Nico Roos, Cees Witteveen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Approaches to Multi-Agent Systems
Publication statusPublished - 2006

Cite this

Roos, N., & Witteveen, C. (2006). Models and Methods for Plan Diagnosis. In Formal Approaches to Multi-Agent Systems