Formal Analysis and Verification of Max-Plus Linear Systems

Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate +1

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. In this paper, we investigate…