The field of autonomous systems is moving towards a greater emphasis on safety and verification, with a focus on developing architectures and frameworks that can ensure operational effectiveness and safety compliance. This is being achieved through the integration of formal verification methods, assurance cases, and model-driven workflows. The use of model-based development and formal verification techniques, such as model-checking, is becoming increasingly popular for verifying desired properties of complex systems. Additionally, the development of new modeling languages and toolchains is enabling the creation of reusable and compilable models that can be used for multiple purposes, including simulation, deployment, and formal verification. Noteworthy papers include: Safe-ROS, which proposes an architecture for autonomous robots in safety-critical domains, and Towards Continuous Assurance, which presents a unified framework for integrating design-time, runtime, and evolution-time assurance. Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca demonstrates the use of model-checking for verifying multi-robot systems, and M, Toolchain and Language for Reusable Model Compilation introduces a new modeling language and toolchain for multi-target compilation.