( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.

, , , , , , и . MBMV, Universität Tübingen, (2018)

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

 

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

Model Repair Revamped: On the Automated Synthesis of Markov Chains., , , , и . CoRR, (2021)AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training., , и . AAMAS, стр. 1226-1235. ACM, (2021)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 62-85. Springer, (2023)Risk-aware curriculum generation for heavy-tailed task distributions., , , и . UAI, том 216 из Proceedings of Machine Learning Research, стр. 1132-1142. PMLR, (2023)Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik., , , , , и . DeLFI, том P-169 из LNI, стр. 239-251. GI, (2010)An Ultrasound-Based Navigation System for Minimally Invasive Neck Surgery., , , , и . MMVR, том 196 из Studies in Health Technology and Informatics, стр. 36-42. IOS Press, (2014)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..Parameter Synthesis in Markov Models: A Gentle Survey., , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 407-437. Springer, (2022)Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2021)Correct-by-construction policies for POMDPs., , , , , , и . SNR, стр. 6-8. ACM, (2019)