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: December 15, 2015.