US Patent Issued to Zoox on Nov. 18 for "Computational framework for automatic high assurance system design" (California, Texas Inventors)

ALEXANDRIA, Va., Nov. 18 -- United States Patent no. 12,472,957, issued on Nov. 18, was assigned to Zoox Inc. (Foster City, Calif.).

"Computational framework for automatic high assurance system design" was invented by Derek Adams (Pasadena, Calif.) and Daniel Miller (Dallas).

According to the abstract* released by the U.S. Patent & Trademark Office: "Techniques for efficiently generating systems are disclosed herein. Abstract system definitions can define the various functions of a system and/or the fitness requirements of the system. Components capable of implementing the aspects of the abstract system can be determined and systems configured to perform the functions of the abstract system are determined. The fitness of these systems can...