Computation of the transient in max-plus linear systems via SMT-solving

DOI10.1007/978-3-030-57628-8_10OpenAlexW3081872108MaRDI QIDQ1996024

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

Publication date: 2 March 2021

Full work available at URL: https://arxiv.org/abs/2007.00505

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Computation of the transient in max-plus linear systems via SMT-solving

Cites Work

• Unnamed Item
• Unnamed Item
• A MAX-plus model of ribosome dynamics during mRNA translation
• Weak CSR expansions and transience bounds in max-plus algebra
• New transience bounds for max-plus linear systems
• On a generalization of power algorithms over MAX-plus algebra
• Minimal half-spaces and external representation of tropical polyhedra
• Generators, extremals and bases of max cones
• Tropical abstractions of MAX-plus linear systems
• Application of max-plus algebra to biological sequence comparisons
• Computation of the transient in max-plus linear systems via SMT-solving
• Bounded model checking of max-plus linear systems via predicate abstractions
• An overview of transience bounds in max-plus algebra
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Computation of the transient in max-plus linear systems via SMT-solving