Beliefs  ID, ROI, sensing agents, k   Initialize  local map   while  ROI not scanned  do      Perform  divide ROI      agent_      if  agent found object/event  then     Update  local object/event map      end if      Update  Beliefs   end while

Algorithm 2: Micromanager BDI model.