( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

, , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 62-85. Springer, (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.

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

 

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

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , и . IJCAI, стр. 4121-4127. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..An Ultrasound-Based Navigation System for Minimally Invasive Neck Surgery., , , , и . MMVR, том 196 из Studies in Health Technology and Informatics, стр. 36-42. IOS Press, (2014)Model Repair Revamped: On the Automated Synthesis of Markov Chains., , , , и . CoRR, (2021)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 62-85. Springer, (2023)Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik., , , , , и . DeLFI, том P-169 из LNI, стр. 239-251. GI, (2010)Risk-aware curriculum generation for heavy-tailed task distributions., , , и . UAI, том 216 из Proceedings of Machine Learning Research, стр. 1132-1142. PMLR, (2023)AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training., , и . AAMAS, стр. 1226-1235. ACM, (2021)COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking., , , и . CoRR, (2022)A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning., , и . CoRR, (2022)Scenario-based verification of uncertain parametric MDPs., , , , , и . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)