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]
No references recorded for this publication.
No citations of this publication recorded.