Peter Schrammel. Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 51-54, IEEE, 2015. [doi]
@inproceedings{Schrammel15, title = {Unbounded-time reachability analysis of hybrid systems by abstract acceleration}, author = {Peter Schrammel}, year = {2015}, doi = {10.1109/EMSOFT.2015.7318259}, url = {http://dx.doi.org/10.1109/EMSOFT.2015.7318259}, researchr = {https://researchr.org/publication/Schrammel15}, cites = {0}, citedby = {0}, pages = {51-54}, booktitle = {2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015}, publisher = {IEEE}, isbn = {978-1-4673-8079-9}, }