Pratama, A. P.; Subchan, S.; Adzkiya, D. Safety Verification of Uncertain Max-Plus-Linear Systems. IJCSAM 2018, 4, 52-55.