• Kjøretidsverifisering av Autonome Robotsystemer i ROS 2 

      Andersen, Tage; Hartmark, Elias Evjen (Master thesis, 2024)
      Den økte bruken av autonome robotsystemer har nødvendiggjort fremskritt i sikkerhetstiltak på grunn av de potensielle farene disse systemene kan utgjøre. Dette økte fokuset på automatisering og robotsys- temer stiller ...