Multi-Objective Decision Making System Based on Spatial -Temporal Logics. - Victor Ababii; Viorica Sudacevschi; Ana Turcan; Radu Melnic; Viorel Carbune; Irina Cojuhari (CSCS, 2023)