Bibtex entry
@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}
}
Go to the publications overview page.
Go to the page with bibtex entries of all
publications.
This page is maintained by Bart De
Schutter.
Last update: March 21, 2022.