The Complete List of Our Technical Talks from November 2020 to August 2023

#47 Towards Formal Verification and Robustification of Neural Systems in Aviation, Alessio Lomuscio (Imperial College London), August 24, 2023

#46 Formal Methods use for Learning Assurance (ForMuLA), Guillaume Soudain (EASA) and Dmitrii Kirov (Collins Aerospace), June 15, 2023

#45 Safe Robot Planning with Neural Environment Representations, Mac Schwager(Stanford University), April 20, 2023

#44 Building Trust in AI for Autonomous Vehicles, Marco Pavone (Stanford University), March 23, 2023

#43 The difficulty of computing stable and accurate neural networks:  On the barriers of deep learning & Smale 18th problem, Matthew Colbrook (University of Cambridge), Feburary 9, 2023

#42 Certifiable System Resilience in the Face of Adversity, Melkior Ornik (University of Illinois UrbanaChampaign), January 12, 2023

#41 Safe Learning and Control with L1 Adaptation, Naira Hovakimyan (University of Illinois Urbana Champaign), December 15, 2022

#40 Towards Assurance for Safety-Critical, Machine Learning-enabled Aviation Systems, Natasha Neogi and Sarah Lehman (NASA), November 17, 2022

#39 Neural Network Based Runway Landing Guidance for General Aviation Autoland, Corentin Perret-Gentil (Daedalean.AI), October 20, 2022

#38 Safe Autonomy, Kerianne Hobbs (AFRL), October 6, 2022

#37 Is Deep Learning Certifiable at all? Xiaowei Huang (University of Liverpool),  June 30, 2022

#36 Exhaustive Analysis to Prove Safety of Closed-Loop AI Systems, Stanley Bak (Stony Brook University), June 16, 2022

#35 Building Certifiably Safe and Correct Large-scale Autonomous Systems, Chuchu Fan (Massachusetts Institute of Technology), May 19, 2022

#34 Increasing Confidence in ML Functional Behavior during AI Development using Training Data Set Measurements, Bruce Nagy & Jay Ball (US Navy), May 5, 2022

#33 Self Driving Cars and AI: From Research Algorithms to Safety and Deployment, Jeff Schneider (Carnegie Mellon University), Apr 21, 2022

#32 System-level verification of neural network based controllers through formal methods, Claire Pagetti and Arthur Claviere (ONERA), Apr 7, 2022

#31 Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications, Konstantin Dmitriev (Technical University of Munich) & Johann Schumann (NASA), Mar 24, 2022

#30 System and Safety Analysis for Safety critical system with DNN components using SYSAI – a statistical learning framework, Yuning He (NASA), Mar 10, 2022

#29 Understanding and Verifying Deep Neural Networks, Divya Gopinath (NASA), Feb 24, 2022

#28 Runtime Monitoring with R2U2 for Aircraft Systems with Neural Networks, Johann Schumann (NASA), Feb 10, 2022

#27 From Scenarios to Synthetic Data: Simulation Qualification Considerations for AI-Based Systems, Umut Durak (German Aerospace Center - DLR), Dec 9, 2021

#26 How Good are Current Neural Network Formal Verification Methods? Stanley Bak (Stony Brook University), ChangLiu Liu (Carnegie Mellon University), and Taylor Johnson (Vanderbilt University), Dec 2, 2021

#25 ASAM OpenX - Standardization for Validation and Verification of Autonomous Driving, Benjamin Engel (ASAM), Nov 18, 2021

#24 (AI) Tool Qualification in ISO 26262 and 21448 (SOTIF), Oscar Slotosch (Validas AG), Nov 11, 2021

#23 An Embodied Physical Intelligent Framework for Smart, Secure and Efficient Cyber-Physical Autonomy, Kyriakos Vamvoudakis (Georgia Institute of Technology), Nov 4, 2021

#22 Verifiable reinforcement learning systems, Ufuk Topcu (The University of Texas at Austin), Oct 21, 2021

#21 Verified Autonomy Code, Sayan Mitra (University of Illinois Urbana-Champaign), Oct 7, 2021

#20 Robustness of AI models and the way to AI certification, Maurizio Mongelli (Italian National Research Council), Sept 23, 2021

#19 Leveraging Subject Matter Expertise in Designing Analytical Applications, Michael Kowolenko (NoviSystems), September 9, 2021

#18 Assured Autonomy: When is AI a bad Idea? Ramesh Bharadwaj (Naval Research Lab) and  Ilya Parker (3DR), August 26, 2021

#17 Safety of AI in Aviation: Integrating Models, John McDermid (University of York), July 15, 2021

#16 Environment Mapping and Urgent Landing Planning for Low-Altitude UAS Operations, Ella Atkins (University of Michigan), July 1, 2021

#15 Predictive Maintenance, Optimization, and Explainable Modeling for EGT: The CIMPLO Project, Thomas Bäck (Leiden University), June 17, 2021

#14 Discussions around EASA First Usable Guidance for Level 1 Machine Learning Applications, Guillaume Soudain, François Triboulet, Hassan Semde, Xavier Henriquel (EASA, EUROCONTROL), June 16, 2021

#13 Discussions around EASA First Usable Guidance for Level 1 Machine Learning Applications, Guillaume Soudain, François Triboulet, Hassan Semde, Xavier Henriquel (EASA, EUROCONTROL), June 14, 2021

#12 CODANN2 : Concepts of Design Assurance for Neural Networks, Luuk van Dijk (Daedalean), and Guillaume Soudain (EASA), June 10, 2021

#11 Embedded Deep Neural Networks - Study on CPU Processor in Avionics Context, Sergei Chichin (Airbus), June 3, 2021

#10 Are we ready for the first EASA guidance on the use of ML in Aviation? Guillaume Brat (NASA), May 20, 2021 

#09 Machine Learning in MATLAB and Simulink, Seth DeLand (MathWorks), May 6, 2021 

#08 Run-Time Assurance for Learning-Enabled Systems, Darren Cofer (Collins Aerospace), April 22, 2021 

#07 Implementation based on compiling neural network (SCADE), Jean-Louis Colaco and Max Najork (ANSYS), April 12, 2021 

#06 Industrial AI, Piyush Modi (NVIDIA), March 31, 2021 

#05 Developing Tools and Deploying Deep Learning Algorithms for Automotive Embedded Processors with NXP eIQ AutoTM, Brady Laska, Mark O’Donnell, Ali Osman Ors (NXP Semiconductors), Feb 3, 2021 

#04 Putting AI on Diet: TinyML and Efficient Deep Learning, Song Han (Massachusetts Institute of Technology), Jan 20, 2021

#03 Algorithms for Verifying Deep Neural Networks and Their Applications, Changliu Liu (Carnegie Mellon University), Jan 6, 2021

#02 Validation using sampling-based approaches and formal methods, Mykel Kochenderfer (Stanford University), Dec 9, 2020

#01 Implementation of Neural Network in Avionics Computer, Adrien Gauffriau (Airbus), Franck Mamalet (IRT Saint-Exupery), Claire Pagetti (ONERA), Nov 19, 2020