Paper titled: Tropical Abstractions of Max-Plus-Linear Systems accepted in the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018). Authored by Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abateo
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767