Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023
Abstract: RoboStar is a centre of excellence on Software Engineering for Robotics; we are developing a collection of domain-specific notations to model various artefacts, and techniques for model-transformation, simulation, testing, and proof based on rigorous mathematical foundations. In this presentation, we describe our approach to (1) modelling artificial neural network (ANN) components as part of behavioural models for control software and (2) verification using traditional and ANN-specific verification tools. Existing techniques and tools for ANN verification are concerned with component-level properties. In RoboStar, we deal with properties that may depend on all software components. Our focus is on trained neural networks for control. Our proof approach is based on refinement and provides deductive guarantees on behaviour, so that ANNs can therefore be treated as reliable, white-box components.
Part of the LMS Computer Science Colloquium 2023, which took place on Friday 1 December 2023 at De Morgan House, London and online via Zoom.
==========
The London Mathematical Society has, since 1865, been the UK's learned society for the advancement, dissemination and promotion of mathematical knowledge. Our mission is to advance mathematics through our members and the broader scientific community worldwide.
For further information:
► Website: https://www.lms.ac.uk
► Events: https://www.lms.ac.uk/events
► Grants and Prizes: https://www.lms.ac.uk/grants-prizes
► Publications: https://www.lms.ac.uk/publications
► Membership: https://www.lms.ac.uk/membership
Follow us:
► Twitter: https://twitter.com/LondMathSoc
► Facebook: https://www.facebook.com/londonmathematicalsociety
► LinkedIn: https://www.linkedin.com/company/the-london-mathematical-society/
► Youtube: @LondonMathematicalSociety
Видео Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023 канала London Mathematical Society
Part of the LMS Computer Science Colloquium 2023, which took place on Friday 1 December 2023 at De Morgan House, London and online via Zoom.
==========
The London Mathematical Society has, since 1865, been the UK's learned society for the advancement, dissemination and promotion of mathematical knowledge. Our mission is to advance mathematics through our members and the broader scientific community worldwide.
For further information:
► Website: https://www.lms.ac.uk
► Events: https://www.lms.ac.uk/events
► Grants and Prizes: https://www.lms.ac.uk/grants-prizes
► Publications: https://www.lms.ac.uk/publications
► Membership: https://www.lms.ac.uk/membership
Follow us:
► Twitter: https://twitter.com/LondMathSoc
► Facebook: https://www.facebook.com/londonmathematicalsociety
► LinkedIn: https://www.linkedin.com/company/the-london-mathematical-society/
► Youtube: @LondonMathematicalSociety
Видео Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023 канала London Mathematical Society
Показать
Комментарии отсутствуют
Информация о видео
6 февраля 2024 г. 20:35:17
00:53:41
Другие видео канала
How Maths Untangles Knotty DNA Questions, Dorothy Buck | LMS Popular Lectures 2010Mathematics in the Courtroom, Ray Hill | LMS Popular Lectures 2013LMS-Bath Symposium 2020, Rates of Convergence for Cheeger Cuts on Point Clouds, Matthew ThorpeUtilising Shape in Data, Ulrike Tillmann FRS | LMSOn generalisation and learning, Benjamin Guedj | LMS Computer Science ColloquiumLMS-Bath Symposium 2020, Public Lecture, Carola-Bibiane SchönliebNet of Conics, Vanya Cheltsov | LMS Summer School (2/5)The Mathematics of Processing Digital Images, Joan Lasenby | LMS Popular Lectures 2015LMS-Bath Symposium 2020, Machine learning from a continuous viewpoint, Weinan ECombinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)The Journey of Female African Mathematicians, Angela Tabiri | LMS BHoM 2020Risky Business, Jen Rogers | LMS Popular Lectures 2018Soap Bubbles and Minimal Surfaces, Spencer Becker-Kahn | LMS BHoMThe space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023LMS-Bath Symposium 2020, A PDE Interpretation of Prediction with Expert Advice, Nadia DrenskaProfessor Noga Alon speaking at the LMS/EMS Anniversary Mathematical Weekend 2015Mary Cartwright Lecture 2021, Analyticity in the Sky with (causal) Diamonds, Claudia de RhamBayesian inference with data-driven image priors: theory, methods, and algorithms, Marcelo PereyraThe Riddle of Robustness, Flexibility, and Trustworthiness of Data-driven AI, Ivan TyukinTropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School