@inproceedings{
AdzDeS:14-010,
author={D. Adzkiya and B. {D}e Schutter and A. Abate},
title={Forward Reachability Computation for Autonomous Max-Plus-Linear
Systems},
booktitle={Proceedings of the 20th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS 2014)},
address={Grenoble, France},
pages={248--262},
month=apr,
year={2014}
}