SMT-Based Model Checking of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti

Browse the full CONCUR paper archive.