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.