Validating AI is increasingly getting societal attention. AI safety has been a low priority. No more. I explore validation as ...

Abstract: This paper investigates how to define and construct a Lyapunov function for Boolean networks, and presents a number of new results based on the semi-tensor product of matrices. A proper form ...