@misc{indiciaea1f2c62c4194,
  title = {Formal Analysis and Verification of Max-Plus Linear Systems},
  author = {Muhammad Syifa'ul Mufid and Andrea Micheli and Alessandro Abate and Alessandro Cimatti},
  year = {2023},
  url = {https://arxiv.org/abs/2308.10587},
  note = {Source identifier: 2308.10587}
}