US Patent Issued to NEC on March 24 for "Temporal logic formula generation device, temporal logic formula generation method, and storage medium" (Japanese Inventors)

ALEXANDRIA, Va., March 24 -- United States Patent no. 12,583,107, issued on March 24, was assigned to NEC Corp. (Tokyo).

"Temporal logic formula generation device, temporal logic formula generation method, and storage medium" was invented by Rin Takano (Tokyo) and Hiroyuki Oyama (Tokyo).

According to the abstract* released by the U.S. Patent & Trademark Office: "The temporal logic formula generation device 1X mainly includes a target relation logical formula generation means 331X and a target relation logical formula integration means 332X. The target relation logical formula generation means 331X is configured to generate, based on object-to-object relation information representing a relation between objects in a target state relating to...