GENEVA, Aug. 24 -- INSTITUT MINES-TELECOM (19 place Marguerite Perey91120 PALAISEAU), UNIVERSITY OF GENOVA (Via Balbi, 516126 GENOVA) filed a patent application (PCT/EP2025/053497) for "SYSTEM AND METHOD FOR VERIFYING PROPERTIES OF MULTI-AGENTS SYSTEMS" on Feb 11, 2025. With publication no. WO/2025/172249, the details related to the patent application was published on Aug 21, 2025.
Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).
Inventor(s): FERRANDO, Angelo (Via Fado 78A, Mele16010 GENOVA), MALVONE, Vadim (6 rue des Millepertuis91940 LES ULIS)
Abstract:
The invention relates to a modular and efficient mode...