research
∙
06/30/2020
Formalizing and Guaranteeing* Human-Robot Interaction
Robot capabilities are maturing across domains, from self-driving cars, ...
share
research
∙
10/16/2017
Symmetric Synthesis
We study the problem of determining whether a given temporal specificati...
research
∙
08/29/2017
Safe Reinforcement Learning via Shielding
Reinforcement learning algorithms discover policies that maximize reward...
research
∙
05/03/2017