Applying formal concepts to learning systems validation

DOI10.1080/095281300454810MaRDI QIDQ4783358zbMATH OpenOpenAlexFDO

Authors Volker Dötsch, Gunter Grieser, S. Lange

Publication date 5 May 2003

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/095281300454810

zbMATH Keywords

verificationvalidationformal languages

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1301801
• A comparison of tools for teaching formal software verification
• Learning Algorithms and Formal Verification (Invited Tutorial)
• Validation and verification of intelligent systems - what are they and how are they different?
• scientific article; zbMATH DE number 1379107

Cites work

• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• Language identification in the limit

This page was built for publication: Applying formal concepts to learning systems validation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783358)