Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory.

arXiv:2407.18994v2 Announce Type: replace Abstract: We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to reach some given state, so as t