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

A robotic cat can teach us how real animals move
#IROS2020 Real Roboticist focus series #1: Davide Scaramuzza (Drones & Magic)
r/Robotics showcase
#IROS2020 Plenary and Keynote talks focus series #1: Yukie Nagai & Danica Kragic
RO-MAN 2021 Roboethics Competition: Bringing ethical robots into the home
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

Autonomous Aircraft by Xwing
July 12, 2021

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