US Patent Issued to Telefonaktiebolaget LM Ericsson on Jan. 20 for "Systems and methods for timed plan verification and strategy synthesis for multi-robot coordination" (Indian Inventors)

ALEXANDRIA, Va., Jan. 20 -- United States Patent no. 12,528,191, issued on Jan. 20, was assigned to Telefonaktiebolaget LM Ericsson (Publ) (Stockholm).

"Systems and methods for timed plan verification and strategy synthesis for multi-robot coordination" was invented by Ajay Kattepur (Bangalore, India) and Swarup Kumar Mohalik (Bangalore Karnataka, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "According to one or more embodiments, a node for temporal plan verification and timed game automata, TIGA, controller strategy synthesis for coordination of a plurality of agents is provided. The node includes processing circuitry that is configured to determine a first model of a plurality of temporal plans for ...