K.B. Lamine and F. Kabanza. Reasoning about robot actions: A model checking approach. In M. Beetz, J. Hertzberg, M. Ghallab, and M.E. Pollack, editors, Advances in Plan-Based Control of Robotic Agents, number 2466 in Lecture Notes in Computer Science, pages 123--139. Springer-Verlag, Berlin, Germany, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model-Free Execution Monitoring by Learning from Simulation - Pettersson, Karlsson.. (2005) (Correct)
No context found.
K.B. Lamine and F. Kabanza. Reasoning about robot actions: A model checking approach. In M. Beetz, J. Hertzberg, M. Ghallab, and M.E. Pollack, editors, Advances in Plan-Based Control of Robotic Agents, number 2466 in Lecture Notes in Computer Science, pages 123--139. Springer-Verlag, Berlin, Germany, 2002.
DyKnow: A Framework for Processing Dynamic Knowledge and.. - Heintz, Doherty (2004) (Correct)
No context found.
K. Ben. Lamine and F. Kabanza. Reasoning about robot actions: A model checking approach. In Advances in Plan-Based Control of Robotic Agents, LNAI, pages 123--139, 2002.
DyKnow: A Framework for Processing Dynamic Knowledge and.. - Structures In Autonomous (2004) (Correct)
No context found.
K. B. Lamine and F. Kabanza. Reasoning about robot actions: A model checking approach. In Advances in Plan-Based Control of Robotic Agents, LNAI, pages 123--139, 2002.
DyKnow: An Approach to Middleware for Knowledge Processing - Doherty (2004) (Correct)
No context found.
K. Ben. Lamine and F. Kabanza. Reasoning about robot actions: A model checking approach. In Advances in Plan-Based Control of Robotic Agents, LNAI, pages 123--139, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC