1 paper · 1 filter
Christian Pardillo Laursen, Simon Foster, Mark Post
In order to formally verify robotic controllers, we must tackle the inherent uncertainty of sensing and actuation in a physical environment. We can model uncertainty using stochast…