المواضيع الرائجة
Inference Labs
Inference Labs
‏22 يناير، 01:00·
إذا كانت المركبات الذاتية القيادة قادرة على تقليل إصابات الطرق بشكل ملحوظ بحلول عام 2035، فهذا أمر ضخم. لكن الاستقلالية الحرجة للسلامة تتطلب دليلا، لا وعود. لهذا السبب تركز مختبرات الاستدلال على الاستدلال القابل للتحقق للأنظمة التي تعمل في العالم الحقيقي.