PhD Student (email)
Presentation of a paper published on the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems.
In this presentation I talked about some recent work, done in HASLab, and future perspectives on high-assurance robotics software.