Khaled Ben Lamine Froduald Kabanza Reasoning about Robot Actions: A Model Checking Approach. 123-139 2001 conf/dagstuhl/2001robagents Advances in Plan-Based Control of Robotic Agents http://link.springer.de/link/service/series/0558/bibs/2466/24660123.htm db/conf/dagstuhl/robagents2001.html#LamineK01