by Michael Beetz
Reference:
Michael Beetz, "Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots", Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Springer LNCS 2605, pp. 514–527, 2005.
Bibtex Entry:
@incollection{Bee05Tow,
author = {Michael Beetz},
title = {Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots},
booktitle = {Mechanizing Mathematical Reasoning:
Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday},
pages = {514--527},
editor = {Dieter Hutter, Werner Stephan},
year = {2005},
publisher = {Springer LNCS 2605},
bib2html_pubtype = {Book Chapter},
bib2html_rescat = {Plan-based Robot Control},
bib2html_groups = {IAS},
bib2html_funding = {},
bib2html_keywords = {}
}