Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi 0001, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee. The Vehicle Tutorial: Neural Network Verification with Vehicle. In Nina Narodytska, Guy Amir, Guy Katz, Omri Isac, editors, Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023. Volume 16 of Kalpa Publications in Computing, pages 1-5, EasyChair, 2023. [doi]
Abstract is missing.