From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, и L. Ye. ATVA, том 12971 из Lecture Notes in Computer Science, стр. 364-380. Springer, (2021)

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.

Benoît Barbot

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamicsB. Cordonnier. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

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

Generation of Signals Under Temporal Constraints for CPS Testing.B. Barbot, N. Basset, и T. Dang. NFM, том 11460 из Lecture Notes in Computer Science, стр. 54-70. Springer, (2019)Bayesian Networks as Approximations of Biochemical Networks.A. Coënt, B. Barbot, N. Pekergin, и C. Güzelis. EPEW, том 14231 из Lecture Notes in Computer Science, стр. 216-233. Springer, (2023)Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards.B. Barbot, D. Busatto-Gaston, C. Dima, и Y. Oualhadj. QEST+FORMATS, том 14996 из Lecture Notes in Computer Science, стр. 268-283. Springer, (2024)Efficient probabilistic inference in biochemical networks.A. Coënt, B. Barbot, и N. Pekergin. Comput. Biol. Medicine, (2024)Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints.B. Barbot, и N. Basset. QEST, том 14287 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2023)CosyVerif: The Path to Formalisms Cohabitation.É. André, J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, V. Le, и L. Petrucci. Petri Nets, том 14628 из Lecture Notes in Computer Science, стр. 432-444. Springer, (2024)Wordgen : a Timed word Generation Tool.B. Barbot, N. Basset, и A. Donzé. HSCC, стр. 16:1-16:7. ACM, (2023)Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise.L. Ye, I. Khmelnitsky, S. Haddad, B. Barbot, B. Bollig, M. Leucker, D. Neider, и R. Roy. Log. Methods Comput. Sci., (2024)Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.I. Khmelnitsky, S. Haddad, L. Ye, B. Barbot, B. Bollig, M. Leucker, D. Neider, и R. Roy. GandALF, том 370 из EPTCS, стр. 81-96. (2022)Falsification of Cyber-Physical Systems with Constrained Signal Spaces.B. Barbot, N. Basset, T. Dang, A. Donzé, J. Kapinski, и T. Yamaguchi. NFM, том 12229 из Lecture Notes in Computer Science, стр. 420-439. Springer, (2020)

BibSonomy

Disambiguation