--- title: Method rapidly verifies that a robot will avoid collisions description: 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... canonical: https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Method rapidly verifies that a robot will avoid collisions | daily.dev og:description: 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... og:url: https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd og:image: https://api.daily.dev/og/posts/H87JHPFwd.png og:image:alt: Method rapidly verifies that a robot will avoid collisions og:image:width: 1200 og:image:height: 630 og:locale: 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: --- 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) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Method rapidly verifies that a robot will avoid collisions","url":"https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd"},"datePublished":"2024-03-07T05:01:51.742Z","dateModified":"2024-05-09T08:07:00.500Z","description":"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...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/a7ea565de054f10e1cac4d4ab35e9d37?_a=AQAEufR","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/a7ea565de054f10e1cac4d4ab35e9d37?_a=AQAEufR","isAccessibleForFree":true,"articleSection":"MIT News","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"MIT News","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/881e20a40aa44b12ba4bd27f5c14289d","url":"https://daily.dev/sources/mit"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/method-rapidly-verifies-that-a-robot-will-avoid-collisions-h87jhpfwd","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"data-science,algorithms,robotics,mechanical-engineering","timeRequired":"PT5M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"MIT News","item":"https://daily.dev/sources/mit"},{"@type":"ListItem","position":3,"name":"Method rapidly verifies that a robot will avoid collisions"}]} ```