Return to Article Details Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping Download Download PDF