RoboStar Centre for Software Engineering for Robotics’ Post

Here's a neat, AI-generated, "popular science" video on our proposed methodology to formally verify safety and reliability of Robotic Autonomous Systems!🤖 With a particular focus and use-case taken from Agriculture Robotics! It summarizes and is based solely on one single paper, entitled: "A Verification Methodology for Safety Assurance of Robotic Autonomous Systems" co-authored by my PhD-student Mustafa Adam and Pedro Ribeiro as part of RoboStar Centre for Software Engineering for Robotics collaboration with Ana Cavalcanti and her team at Institute for Safe Autonomy at University of York! 📄 Links to the full paper: 🔗 Springer Nature: https://lnkd.in/d4A3Jfkw 🔗 Arxiv.org (open access) https://lnkd.in/dSec33fq Acknowledgments. The research presented has received partial funding from the Norwegian Research Council (RCN) RoboFarmer, project number 336712, the UK EPSRC Grants EP/M025756/1, EP/R025479/1, and EP/V026801/2, and the Royal Academy of Engineering Grant No CiET1718/45.