ALEXANDRIA, Va., Feb. 24 -- United States Patent no. 12,559,134, issued on Feb. 24, was assigned to ROBERT BOSCH GMBH (Stuttgart, Germany).

"Computer-implemented method and system for verifying a software-based behavior planner of an automated driving function" was invented by Lukas Koenig (Grossbottwar, Germany), Michael Hanselmann (Korntal-Muenchingen, Germany) and Michael Messer (Adolzfurt, Germany).

According to the abstract* released by the U.S. Patent & Trademark Office: "A computer-implemented method for verifying a software-based behavior planner of an automated driving function. The method includes: providing a verification environment model to limit the state space of the behavior planner according to a specifiable traffic scene...