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 6, 2022 |
![]() |
---|---|
Apr 23, 2022 |
![]() |
Apr 23, 2022 |
![]() |
Mar 18, 2022 |
![]() |
Mar 12, 2022 |
![]() |
Mar 11, 2022 |
![]() |
Dec 23, 2021 |
![]() |
Dec 21, 2021 |
![]() |
Oct 23, 2021 |
![]() ![]() ![]() |
Oct 9, 2021 |
![]() |
Jul 30, 2021 |
![]() |
Mar 17, 2021 |
![]() |
Mar 6, 2021 |
![]() |
Oct 30, 2020 |
![]() |
Aug 7, 2020 |
![]() |
Dec 1, 2019 |
![]() |
Dec 1, 2019 |
![]() |
Aug 15, 2019 |
![]() |
Apr 11, 2019 |
![]() |
Dec 1, 2018 |
![]() |