Keyword:domain-specific languages

Publications
The Vehicle Tutorial: Neural Network Verification with Vehicle Matthew Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke and Jeonghyeon Lee In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems