Abstract:
Online adaptive systems cannot be certified using traditional testing and proving methods, because these methods rely on assumptions that do not hold for such systems. In...View moreMetadata
Abstract:
Online adaptive systems cannot be certified using traditional testing and proving methods, because these methods rely on assumptions that do not hold for such systems. In this paper, we discuss a framework for reasoning about online adaptive systems, and see how this framework can be used to perform the verification of these systems. In addition to the framework, we present some preliminary results on concrete neural network models.
Published in: 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the
Date of Conference: 05-08 January 2004
Date Added to IEEE Xplore: 26 February 2004
Print ISBN:0-7695-2056-1