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

Perfecting self-driving cars – can it be done?
Robohub and AIhub’s free workshop trial on sci-comm of robotics and AI
ULTRA-SWARM: Creating digital twins of UAV swarms for firefighting and aid delivery
On sustainable robotics
Amanda Prorok’s talk – Learning to Communicate in Multi-Agent Systems (with video)
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

Multi-Robot Learning
March 29, 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