ALEXANDRIA, Va., July 15 -- United States Patent no. 12,663,770, issued on June 23, was assigned to ROBERT BOSCH GMBH (Stuttgart, Germany).

"Method for validating or verifying a technical system" was invented by David Reeb (Renningen, Germany), Kanil Patel (Stuttgart, Germany), Karim Said Mahmoud Barsim (Stuttgart, Germany), Melih Kandemir (Agedrup, Denmark) and Sebastian Gerwinn (Leonberg, Germany).

According to the abstract* released by the U.S. Patent & Trademark Office: "A computer-implemented method for verifying and/or validating whether a technical system fulfills a desired criterion with a predefined probability. The technical system emits output signals based on input signals supplied to the technical system. The method includes:...