Pratama, A. P., Subchan, S. and Adzkiya, D. (2018) “Safety Verification of Uncertain Max-Plus-Linear Systems”, (IJCSAM) International Journal of Computing Science and Applied Mathematics, 4(2), pp. 52–55. Available at: https://journal.its.ac.id/index.php/ijcsam/article/view/4587 (Accessed: 30 January 2026).