@misc{indiciaeb3ed8bf097d0,
  title = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
  author = {Muhammad Syifa'ul Mufid and Dieky Adzkiya and Alessandro Abate},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03564},
  note = {Source identifier: 1907.03564}
}