Zobrazeno 1 - 1 of 1 pro vyhledávání: '"Lin, Kaipeng"'
1
Akademický článek
Formal synthesis of neural Craig interpolant via counterexample guided deep learning
Autor: Lin, Wang, Ding, Mi, Lin, Kaipeng, Ding, Zuohua
Publikováno v: In Information and Software Technology November 2023 163
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje