Search for persons
X
?
5
NASA Formal Methods: 16th International Symposium, NFM 2024..
Lecture Notes in Computer Science, 14627
?
AI Verification; Lecture Notes in Computer Science ,
7
Concept-Based Analysis of Neural Networks via Vision-Langua..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
11
Correction to: Feature-Guided Analysis of Neural Networks:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14