Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. - Andrei Aleksandrov; Kim Völlinger (NFM, 2023)

Switched Systems in Coq for Modeling Periodic Controllers. - Andrei Aleksandrov; Kim Völlinger (ICTAC, 2024)

A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. - Leo Alexander Gummersbach; Kim Völlinger; Andrei Aleksandrov (TASE, 2025)