Bibtex entry

@inproceedings{AdzDeS:12-010,
        author={D. Adzkiya and B. {D}e Schutter and A. Abate},
        title={Abstraction and verification of autonomous max-plus-linear systems},
        booktitle={Proceedings of the 2012 American Control Conference},
        address={Montr\'eal, Canada},
        pages={721--726},
        month=jun,
        year={2012}
        }

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.