Sanne van Waveren

I completed my PhD in Human-Robot Interaction at KTH Royal Institute of Technology, you can find my thesis here.
My vision is a future of autonomous verifiable robots
that can automatically synthesize correction mechanisms, so that they can continue their tasks even after their policy or plan failed. In my work, I develop techniques that leverage human feedback
and techniques from formal methods
to automate such failure correction.
For an up-to-date list of my papers see my publications page.
news
Dec 5, 2022 |
![]() |
---|---|
Apr 22, 2022 |
![]() |
Apr 22, 2022 |
![]() |
Mar 17, 2022 |
![]() |
Mar 12, 2022 |
![]() |
Mar 10, 2022 |
![]() |
Dec 22, 2021 |
![]() |
Dec 20, 2021 |
![]() |
Oct 22, 2021 |
![]() ![]() ![]() |
Oct 8, 2021 |
![]() |
Jul 29, 2021 |
![]() |
Mar 17, 2021 |
![]() |
Mar 5, 2021 |
![]() |
Oct 29, 2020 |
![]() |
Aug 7, 2020 |
![]() |
Nov 30, 2019 |
![]() |
Nov 30, 2019 |
![]() |
Aug 14, 2019 |
![]() |
Apr 10, 2019 |
![]() |
Nov 30, 2018 |
![]() |