Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron. Formal Analysis of Robustness at Model and Code Level. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 125-134, ACM, 2016. [doi]
@inproceedings{WangGRJF16,
title = {Formal Analysis of Robustness at Model and Code Level},
author = {Timothy E. Wang and Pierre-Loïc Garoche and Pierre Roux and Romain Jobredeaux and Eric Feron},
year = {2016},
doi = {10.1145/2883817.2883824},
url = {http://doi.acm.org/10.1145/2883817.2883824},
researchr = {https://researchr.org/publication/WangGRJF16},
cites = {0},
citedby = {0},
pages = {125-134},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016},
editor = {Alessandro Abate and Georgios E. Fainekos},
publisher = {ACM},
isbn = {978-1-4503-3955-1},
}