( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Property-Directed Verification of Recurrent Neural Networks.

, , , , , , , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Smolitsch

Igor Popov

Igor Kasko

Igor Herrmann

 

Другие публикации лиц с тем же именем

Property-Directed Verification of Recurrent Neural Networks., , , , , , , , и . CoRR, (2020)Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise., , , , , , , и . CoRR, (2023)Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise., , , , , , , и . GandALF, том 370 из EPTCS, стр. 81-96. (2022)Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise., , , , , , , и . Log. Methods Comput. Sci., (2024)Dynamic Recursive Petri Nets., и . Petri Nets, том 12152 из Lecture Notes in Computer Science, стр. 345-366. Springer, (2020)Commodification of accelerations for the Karp and Miller Construction., , и . Discret. Event Dyn. Syst., 31 (2): 251-270 (2021)Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search., , , , , , , , и . ICGI, том 153 из Proceedings of Machine Learning Research, стр. 113-129. PMLR, (2021)Property-Directed Verification and Robustness Certification of Recurrent Neural Networks., , , , , , , , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 364-380. Springer, (2021)Coverability and Termination in Recursive Petri Nets., , и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 429-448. Springer, (2019)Coverability, Termination, and Finiteness in Recursive Petri Nets., , и . CoRR, (2021)