Ekaterina Komendentskaya

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Publications

Remi Desmartin, Grant O. Passmore, Ekaterina Komendentskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice. NSV/FoMLAS@CAV (2022)