Piergiuseppe Mallozzi. Combining machine-learning with invariants assurance techniques for autonomous systems. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 485-486, ACM, 2017. [doi]
Abstract is missing.