February 13 - Verification of Robotic systems involving neural network components

 

Ziggy Attala is a 4th year PhD student from the University of York. In this session we will hear how neural network components can be used in the verification of robotic systems. The combination of robotics, automation and AI has the potential to benefit many aspects of our lives: it enables intelligent behaviour in robots. Currently, however, no deductive guarantees can be made about the behaviour of these systems. The work of Ziggy and his team enables the first such guarantee, combining advanced tehniques for verification.

Comments

Post a Comment

Popular posts from this blog

Who we are and what we do

Image
    Science, technology, engineering, maths, (STEM), dominates today’s world and is a powerful influence in society both in the past and the present.   Our TV, newspapers and social media are full of stories dependent on these disciplines. Without STEM today’s world would be a very different place. In our group, we want to broaden our knowledge in these areas and try to understand some of the factors that have shaped our past and are shaping the future. We are part of York U3A and membership of our group is open to U3A members. We meet fortnightly from 2pm to 4pm in the Penn Room at the Friends Meeting House on Friargate.  Attendees at meetings are asked to contribute £3 towards the room hire. Refreshments are available with a voluntary donation of £1. In each session we have a speaker on a relevant and interesting topic followed by questions and discussion. Our speakers come from among the members of the group or are external volunteers from research, industry, ...
Read more

Who we are and what we do.

Image
STEM (science, technology, engineering, maths), dominates today’s world. Our TV, newspapers and social media are full of stories dependent on these disciplines. Without STEM today’s world would be a very different place. In our group, we want to broaden our knowledge in these areas and try to understand some of the factors that are shaping our world and its future. In each session we have a speaker on a relevant and interesting topic followed by questions and discussion. Our speakers come from among the members of the group or are external volunteers from research, industry, or allied fields. 2023/24 topics have ranged from the history of crude oil, to satellites and their impact on our world; and from the importance of energy storage methods to support net zero targets, to Futurology and how science fiction forecast the future of technology (For a list of all past topics and our emerging programme for 2024-25, visit sewyork.blogspot.com or send us a m...
Read more

Programme summary 2023-24 - Updated

Image
  Date Subject Speaker September 11 The Gas Turbine Engine Bill Clark Fly by Wire Bill Clark September 25 Technology and Futurology: The View from 1970 David Worsley October 9 What is the Universe made of and have we always thought this way? Cath Blacketer October 23 The History of Crude Oil Alan Hunton November 13 What can we learn from a pile of sand in Canada & two heaps of stone and some twigs in Norway? Michael Alexander November 27 Rhizobium inoculation Robin Jenkins Insect borne diseases Rod Moreton December 11 Anonymity in 21st century biology Michelle Hawkins   The Power of Vaccines: Protecting Our Health and Community Mohamed Osman Janua...
Read more