Authors
Khaled Ben Lamine, Froduald Kabanza
Publication date
2003/2/28
Book
Advances in Plan-Based Control of Robotic Agents: International Seminar Dagstuhl Castle, Germany, October 21–26, 2001 Revised Papers
Pages
123-139
Publisher
Springer Berlin Heidelberg
Description
Mobile robot control remains a difficult challenge in changing and unpredictable environments. Reacting to unanticipated events, interacting and coordinating with other agents, and acquiring information about the world remain difficult problems. These actions should be the direct products of the robot’s capabilities to perceive, act, and process information intelligently, taking into account its state, that of the environment, and the goals to be achieved. This paper discusses the use of model-checking to reason about robot actions in this context. The approach proposed is to study behaviors that allow abstract, but informative models, so that a computer program can reason with them efficiently. Model-checking can then be used as a means for verifying and planning robot actions with respect to such behaviors.
Total citations
200420052006200720082009201020112012201320142015201620172018201920202021202220236332431122331
Scholar articles
KB Lamine, F Kabanza - Advances in Plan-Based Control of Robotic Agents …, 2003