Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification
M Adam, EE Hartmark, T Andersen… - 2024 IEEE 20th …, 2024 - ieeexplore.ieee.org
The ongoing efforts to deploy safety-critical autonomous robots that operate in semi-
structured, dynamic, and uncertain environments, reinforce the importance of supplementing …
structured, dynamic, and uncertain environments, reinforce the importance of supplementing …
RoboCertProb: Property Specification for Probabilistic RoboChart Models
K Ye, J Woodcock - arXiv preprint arXiv:2403.08136, 2024 - arxiv.org
RoboChart is a core notation in the RoboStar framework which brings modern modelling
and formal verification technologies into software engineering for robotics. It is a timed and …
and formal verification technologies into software engineering for robotics. It is a timed and …
[PDF][PDF] Kjøretidsverifisering av Autonome Robotsystemer i ROS 2
T Andersen, EE Hartmark - 2024 - nmbu.brage.unit.no
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å …
på grunn av de potensielle farene disse systemene kan utgjøre. Dette økte fokuset på …