↑
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:

International conference on intelligent robots and systems (IROS)
Electronic design tool morphs interactive objects
Women in Robotics panel celebrating Ada Lovelace Day
Empowering Farmers Through Root AI
Robot swarms follow instructions to create art
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

Empowering Farmers Through Root AI
October 19, 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