Lydia Asrat Zeleke

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

Publications

Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. CoRR (2022)
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. SSCI (2022)
Jelani Owens, Kishor Datta Gupta, Xuyang Yan, Lydia Asrat Zeleke, Abdollah Homaifar
Interpretable Convolutional Learning Classifier System (C-LCS) for higher dimensional datasets. SMC (2022)