Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_3 ◽

2022 ◽

pp. 43-68

Author(s):

David Bayani ◽

Stefan Mitsch

Download Full-text