KMonitor - A Tool for Monitoring Plan Execution in Action Theories.

Thomas Eiter, Michael Fink, Jn Senko

Browse the full LPNMR paper archive.