An Information-Flow Perspective on Explainability Requirements: Specification and Verification.

Bernd Finkbeiner, Hadar Frenkel, Julian Siber

Browse the full KR paper archive.