BEHAVIOR ACTIVITY TRACE METHOD - Application to Dead Locks Detection in a Mobile Robot Navigation Topics: Modeling, Simulation and Architectures; Robot Design, Development and Control In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, 265-269, 2007 , Angers, France