↑
up
news    views    podcast    learn    |    about    contribute     republish    

≡

≡
♥ support us    team    about    contribute     republish      


Reported elsewhere

Share this article: facebook . twitter . linkedin . reddit
View Comments

Hadas Kress-Gazit: Formal Synthesis for Robots | CMU RI Seminar


curated by | January 25, 2020

Presentation page, including abstract, on ri.cmu.edu

Link to video on YouTube

-->

print
permalink
republishing guidelines
Other articles on similar topics:

Robotics Manipulation with MoveIt
RoboBee’s Untethered Flight
Open Problems for Robots in Surgery and Healthcare
From SLAM to Spatial AI
Learning to Grasp
more about ..

comments powered by Disqus
Research & Innovation Business & Finance Health & Medicine Politics, Law & Society Arts & Entertainment Education & DIY Events Military & Defense Exploration & Mining Mapping & Surveillance Enviro. & Agriculture Aerial Automotive Industrial Automation Consumer & Household Space


podcast

Robotics Manipulation with MoveIt
May 31, 2020

Are you planning to crowdfund your robot startup?

Need help spreading the word?

Join the Robohub crowdfunding page and increase the visibility of your campaign




Browse by topic:


Robohub Focus Series:



Robohub Features:



velocityfarm