ALEXANDRIA, Va., Feb. 17 -- United States Patent no. 12,554,968, issued on Feb. 17, was assigned to NTT Inc. (Tokyo).
"Checking device, checking method, and checking program" was invented by Tatsuhiro Aoshima (Tokyo), Toshinori Usui (Tokyo), Yuhei Kawakoya (Tokyo), Makoto Iwamura (Tokyo) and Jun Miyoshi (Tokyo).
According to the abstract* released by the U.S. Patent & Trademark Office: "A calculating unit calculates a semantics set relating to an entirety of state of a recursive neural network satisfying a specification. A determining unit determines whether or not the recursive neural network that is an object of checking satisfies the specification, on the basis of the semantics set and an initial state of the recursive neural network t...