ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Assurance of Neural Network-based Safety-Critical Avionics with Formal Methods

Time: Sunday, 3.11

Room: Room 2

Authors: Arthur Clavière, Dmitrii Kirov