株式会社イミロン

Extended description

数理論理学に基づき、自動運転やAI制御の安全性を数学的に証明する品質保証ソリューションを提供