Multi-Objective Decision Making System Based on Spatial -Temporal Logics | IEEE Conference Publication | IEEE Xplore