Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zeleke, Lydia Asrat"'
Autor:
Nuhu, Abdul-Rauf, Gupta, Kishor Datta, Bedada, Wendwosen Bellete, Nabil, Mahmoud, Zeleke, Lydia Asrat, Homaifar, Abdollah, Tunstel, Edward
Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for researchers. The size of the search space makes exhaustive search com
Externí odkaz:
http://arxiv.org/abs/2209.01411
