A patrol problem in a building by search theory | IEEE Conference Publication | IEEE Xplore