EUROPEAN
CONGRESS

FROM 29th TO 31st JANUARY / TOULOUSE, FRANCE

PIERRE BAUDIS CONGRESS CENTER

EMBEDDED
REAL TIME SYSTEMS

ERTS 2020 on Twitter ERTS 2020 on LinkedIn

KEYNOTE SPEAKERS

 

Marta Kwiatkowska, University of Oxford

Marta_Kwiatkowska 250

Biography

Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area and winner of the HVC Award 2016. Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska is the first female winner of the Royal Society Milner Award and was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy. Kwiatkowska is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Title: Safety verification for deep neural networks with provable guarantees

Abstract:

Computing systems are becoming ever more complex, with decisions increasingly often based on deep learning components. A wide variety of applications are being developed, many of them safety-critical, such as self-driving cars and medical diagnosis. Since deep learning is unstable with respect to adversarial perturbations, there is a need for rigorous software development methodologies that encompass machine learning components. This lecture will describe progress with developing automated verification and testing techniques for deep neural networks to ensure safety and robustness of their decisions with respect to input perturbations. The techniques exploit Lipschitz continuity of the networks and aim to approximate, for a given set of inputs, the reachable set of network outputs in terms of lower and upper bounds, in anytime manner, with provable guarantees. The lecture will conclude with an overview of the challenges in this field.

 

ORGANISED BY


ERTS 2020 - IMPORTANT DATES

Abstract of Regular and Short Paper submission :
Closed

Acceptance Notification :
September 18th, 2019 - 
Regular Full Paper for reveiw :
October 15th, 2019
Regular and Short Paper Final Version :
November, 10th, 2019

Congress :
January 29th to 31st, 2020 
Paper Award announcement at Congress Dinner :
January 30th, 2020

 



 

sponsors

  • GROUPE RENAULT

    GROUPE RENAULT
  • Sysgo

    Sysgo