@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}
}