SMT-based model checking of max-plus linear systems

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. MPL systems can be naturally modeled as infinite-state transition systems, and exhibit interesting structural properties (e.g. periodicity or steady...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Mufid, MSU, Micheli, A, Abate, A, Cimatti, A
বিন্যাস: Conference item
ভাষা:English
প্রকাশিত: Schloss Dagstuhl 2021