Login / Signup
Marc Meier-Doernberg
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Formal Verification
Symbolic Execution
Cognitive Science
Heuristic Evaluation
Top Venues
CoRR
IEEE Trans. Artif. Intell.
</>
Publications
</>
Justus Renkhoff
,
Ke Feng
,
Marc Meier-Doernberg
,
Alvaro Velasquez
,
Houbing Herbert Song
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
CoRR
(2024)
Justus Renkhoff
,
Ke Feng
,
Marc Meier-Doernberg
,
Alvaro Velasquez
,
Houbing Herbert Song
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
IEEE Trans. Artif. Intell.
5 (8) (2024)