% This is the bibtex entry of publication 14-010 of Bart De Schutter
% (home page: https://www.bartdeschutter.org).
%
% The latest version of this file can be downloaded via
% https://dspub.eu/14-010
%

@inproceedings{AdzDeS:14-010,
   author={Adzkiya, Dieky and De Schutter, Bart and Abate, Alessandro},
   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}
   }