Pratama, Aditya Putra, Subchan Subchan, and Dieky Adzkiya. “Safety Verification of Uncertain Max-Plus-Linear Systems”. (IJCSAM) International Journal of Computing Science and Applied Mathematics 4, no. 2 (August 15, 2018): 52–55. Accessed January 30, 2026. https://journal.its.ac.id/index.php/ijcsam/article/view/4587.