TY  - RPRT
TI  - Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
AU  - Muhammad Syifa'ul Mufid
AU  - Dieky Adzkiya
AU  - Alessandro Abate
PY  - 2019
UR  - https://arxiv.org/abs/1907.03564
ID  - 1907.03564
ER  -