by M Beetz
Reference:
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots (M Beetz), Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (WS Dieter Hutter, ed.), Springer LNCS 2605, 2005.
Bibtex Entry:
@incollection{beetz_towards_2005,
author = {M Beetz},
title = {Towards Comprehensive Computational Models for Plan-Based Control
of Autonomous Robots},
booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann
on the Occasion of His 60th Birthday},
publisher = {Springer {LNCS} 2605},
year = {2005},
editor = {Dieter Hutter, Werner Stephan},
pages = {514–527},
}