Paper on modeling op map coverage with HMM