Module checking for uncertain agents