( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

, , , и . FMAS@iFM, том 395 из EPTCS, стр. 144-152. (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)Correct-by-construction policies for POMDPs., , , , , , и . SNR, стр. 6-8. ACM, (2019)Parameter Synthesis in Markov Models: A Gentle Survey., , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 407-437. Springer, (2022)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)Factored Online Planning in Many-Agent POMDPs., , , и . CoRR, (2023)Scenario-based verification of uncertain parametric MDPs., , , , , и . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Parameter synthesis for Markov models: covering the parameter space., , , , , , и . Formal Methods Syst. Des., 62 (1): 181-259 (июня 2024)