( en | de | ru )

 

Disambiguation

From post

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

, , , , , , , , , и . 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.

Elena Sergeyev

Nikolai Sergeev

Tatiana Sergey

Dieter Sergel

Jean-Frédéric Sergejew

 

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

Refinement and Asynchronous Composition of Modal Petri Nets., , и . Trans. Petri Nets Other Model. Concurr., (2012)A Fault-contained Spanning Tree Protocol for Arbitrary Networks., и . PDCS, стр. 410-415. ISCA, (2004)A Coordination Algorithm for Multi-Agent Planning., и . MAAMAW, том 1038 из Lecture Notes in Computer Science, стр. 86-99. Springer, (1996)Timed Petri nets and timed automata: On the discriminating power of zeno sequences., , и . Inf. Comput., 206 (1): 73-107 (2008)A Model Checking Method for Partially Symmetric Systems., , и . FORTE, том 183 из IFIP Conference Proceedings, стр. 121-136. Kluwer, (2000)A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets., , и . ICATPN, том 4024 из Lecture Notes in Computer Science, стр. 221-240. Springer, (2006)CSLTA: an Expressive Logic for Continuous-Time Markov Chains., , и . QEST, стр. 31-40. IEEE Computer Society, (2007)Agents Secure Interaction in Data driven Languages., , и . MALLOW, том 494 из CEUR Workshop Proceedings, CEUR-WS.org, (2009)Symbolic Reachability Graph and Partial Symmetries., , , и . Application and Theory of Petri Nets, том 935 из Lecture Notes in Computer Science, стр. 238-257. Springer, (1995)Assessment of ESTELLE and EDT Through Real Case Studies., , и . PSTV, том C-16 из IFIP Transactions, стр. 223-238. North-Holland, (1993)