Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

Alessandro Abate, Alessandro Cimatti, Andrea Micheli +1

This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading…