VERIFICATION THEOREM WHICH PROVIDES A NECESSARY AND SUFFICIENT CONDITION FOR OPTIMALITY - VINTER,RB; LEWIS,RM (IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1980)