Towards simulation-based verification of autonomous navigation systems

Authors:
  • TPTom Arne Pedersen
    Tom Arne Pedersen
  • JGJon Arne Glomsrud
    Jon Arne Glomsrud
  • ERElse-Line Ruud
    Else-Line Ruud
  • ASAleksander Simonsen
    Aleksander Simonsen
  • JSJarle Sandrib
    Jarle Sandrib
  • BEBjørn-Olav Holtung Eriksen
    Bjørn-Olav Holtung Eriksen

Abstract
No abstract available

This publication has 10 references indexed in Scilit: