?
5
AI Verification: First International Symposium, SAIV 2024, ..
Lecture Notes in Computer Science, 14846
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14
Towards Formal XAI: Formally Approximate Minimal Explanatio..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
15