( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software Doping Analysis for Human Oversight.

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

 

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

Teaching Concurrency Concepts to Freshmen., и . Trans. Petri Nets Other Model. Concurr., (2008)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 59-81. Springer, (2001)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , и . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (октября 2023)Admissibility in Probabilistic Argumentation., , , , , и . J. Artif. Intell. Res., (2022)Software Doping Analysis for Human Oversight., , , , , , , и . CoRR, (2023)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , и . TAILOR, том 12641 из Lecture Notes in Computer Science, стр. 83-90. Springer, (2020)The 10, 000 Facets of MDP Model Checking., , и . Computing and Software Science, том 10000 из Lecture Notes in Computer Science, Springer, (2019)Quantification of Battery Depletion Risk Made Efficient., и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 156-174. Springer, (2022)Bisimulation and Simulation Relations for Markov Chains., , , и . APC 25, том 162 из Electronic Notes in Theoretical Computer Science, стр. 73-78. Elsevier, (2005)