25.3.2 신경망을 이용한 리야프노프 후보 함수 근사 및 검증