( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing neural network behavior through deep statistical model checking.

, , , , и . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (июня 2023)

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.

Holger Hermanns

Holger Hermanns

Holger Hermanns

Walter Hermanns

Artur Hermanns

 

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

Momba: JANI Meets Python., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 389-398. Springer, (2021)From Verification to Explanation (Track Introduction)., и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 1-7. Springer, (2020)On Generative Parallel Composition., , и . PROBMIV, том 22 из Electronic Notes in Theoretical Computer Science, стр. 30-54. Elsevier, (1998)Doping Tests for Cyber-Physical Systems., , и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 313-331. Springer, (2019)Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations., и . ACM Trans. Embed. Comput. Syst., 22 (4): 68:1-68:48 (июля 2023)On the Foundations of Cycles in Bayesian Networks., , , и . CoRR, (2023)Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds., , , , , , , , и . CoRR, (2024)CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)., , , , и . CONCUR, том 171 из LIPIcs, стр. 5:1-5:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , и . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (октября 2023)