OccuRE: An Occupancy REasoning Platform for Occupancy-Driven Applications | IEEE Conference Publication | IEEE Xplore