--- title: "Method rapidly verifies that a robot will avoid collisions" url: https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd source_url: https://news.mit.edu/2024/method-rapidly-verifies-robot-will-avoid-collisions-0307 type: article source: "MIT News" published: 2024-03-07T05:01:51.742Z updated: 2024-05-09T08:07:00.500Z tags: ["data-science", "algorithms", "robotics", "mechanical-engineering"] reading_time: 5 upvotes: 0 comments: 0 language: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Method rapidly verifies that a robot will avoid collisions **[MIT News](https://daily.dev/sources/mit)** · 5 min read · 0 upvotes · 0 comments ## Summary MIT researchers have developed a safety check technique that can prove with 100 percent accuracy that a robot's trajectory will remain collision-free. The method uses sum-of-squares programming and can discriminate between trajectories that differ by only millimeters. It could be useful for robots in spaces crowded with objects and situations where robot collisions could cause injuries. The technique allows for quick mathematical verification of the safety check. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [Don’t just attend KubeCon \+ CloudNativeCon, Merge Forward your experience\!](https://daily.dev/posts/don-t-just-attend-kubecon-cloudnativecon-merge-forward-your-experience--l0rpp73x8) · CNCF · 0 upvotes · 0 comments - [Announcing H2 2026 KCDs](https://daily.dev/posts/announcing-h2-2026-kcds-m96goajm1) · CNCF · 1 upvotes · 0 comments - [Two months of Open Community Groups](https://daily.dev/posts/two-months-of-open-community-groups-asf52zhbs) · CNCF · 0 upvotes · 0 comments --- Tags: [#data-science](https://daily.dev/tags/data-science), [#algorithms](https://daily.dev/tags/algorithms), [#robotics](https://daily.dev/tags/robotics), [#mechanical-engineering](https://daily.dev/tags/mechanical-engineering) [View this post on daily.dev](https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd)