Published May 21, 2019 | Version v1
Poster Open

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

Authors/Creators

  • 1. Chalmers
  • 2. KTH

Description

The poster presented at ICRA2019 for for the article named 'Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle' by Jonas Krook, Lars Svensson, Yuchao Li, Lei Feng, and Martin Fabian. A video demonstrating the work can be found on Vimeo.

Files

PosterICRA2019.pdf

Files (11.9 MB)

Name Size Download all
md5:53a649fdbb847364013cb1a851f937f9
555.2 kB Preview Download
md5:2c67824294f3ff653b235953f22775cc
11.3 MB Preview Download

Additional details

Related works

Is supplement to
https://research.chalmers.se/publication/509469 (URL)
Is supplemented by
https://github.com/krooken/wasp-des-rcv (URL)
https://vimeo.com/319427372 (URL)