Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper).

Dirk Beyer

Browse the full VECoS paper archive.