三菱電機と仏Inriaがフォーマルメソッドを用いたAIの信頼性を保証する技術開発を開始

Mitsubishi Electric Corporation published this content on September 18, 2025, and is solely responsible for the information contained herein. Distributed via Public Technologies (PUBT), unedited and unaltered, on September 18, 2025 at 05:03 UTC. If you believe the information included in the content is inaccurate or outdated and requires editing or removal, please contact us at [email protected]