↑
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 trends at #CES2021
How to keep drones flying when a motor fails
IEEE RAS Soft Robotics Podcast with Hod Lipson: Can we design self-aware robots?
Women in Robotics Update: Melonee Wise, Maren Bennewitz, Alicia Casals
#CYBATHLON2020GlobalEdition winners of the powered leg prosthesis race (with interview)
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

The Advantage of Fins
December 16, 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