Formal Concepts of Learning Systems Validation in Use

Volker Dötsch, Leipzig University, Germany; Gunter Grieser, Darmstadt University of Technology, Germany; Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany; Steffen Lange, Leipzig University, Germany

The aim of this paper is to exemplify a validation approach based on a clear and thoroughly formal theory. In this way, validation and verification should be brought closer to each other, for the benefit of a concerted action towards dependable software systems.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.