Abstractions and formal verification of max-plus linear systems (University of Oxford, 2021)

(untitled) - Syifaul Mufid, M