588 Bibliography
[234] F. Giunchiglia and P. Traverso. Planning as model checking. In Proceedings of the
European Conference on Planning (ECP), pp. 1–20, 1999.
[235] K. Goldberg, D. Halperin, J. C. Latombe, and R. Wilson, eds. Algorithmic Founda-
tions of Robotics. A K Peters, 1995.
[236] K. Golden, O. Etzioni, and D. S. Weld. Omnipotence without omniscience: Sensor
management in planning. In Proceedings of the National Conference on Artificial
Intelligence (AAAI), pp. 1048–1054, 1994.
[237] K. Golden, W. Pang, R. Nemani, and P. Votava. Automating the processing of
earth observation data. In Proceedings of the International Symposium on Artificial
Intelligence, Robotics, and Automation in Space (i-SAIRAS), 2003.
[238] R. P. Goldman, M. Pelican, and D. ...