( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TraceVis: Towards Visualization for Deep Statistical Model Checking.

, , , , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 27-46. Springer, (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.

Bernd Klauck

Erika Klauck

Detlef Klauck

Waltraud Klauck

Sabine Klauck

 

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

Momba: JANI Meets Python., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 389-398. Springer, (2021)Components in Probabilistic Systems: Suitable by Construction., , , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 240-261. Springer, (2020)MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 430-443. Springer, (2022)On the connection of probabilistic model checking, planning, and learning for system verification.. Saarland University, Saarbrücken, Germany, (2022)Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development., , , , , , , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 44-65. Springer, (2024)Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"., , , , , и . (августа 2020)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)The Quantitative Verification Benchmark Set., , , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 344-350. Springer, (2019)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , и . TAILOR, том 12641 из Lecture Notes in Computer Science, стр. 83-90. Springer, (2020)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2021)