( en | de | ru )

 

Disambiguierung von "Jansen, Nils"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

, , , und . FMAS@iFM, Volume 395 von EPTCS, Seite 144-152. (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , und . IJCAI, Seite 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., , , , und . MMVR, Volume 196 von Studies in Health Technology and Informatics, Seite 36-42. IOS Press, (2014)Model Repair Revamped: On the Automated Synthesis of Markov Chains., , , , und . CoRR, (2021)Correct-by-construction policies for POMDPs., , , , , , und . SNR, Seite 6-8. ACM, (2019)Parameter Synthesis in Markov Models: A Gentle Survey., , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 407-437. Springer, (2022)COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking., , , und . CoRR, (2022)A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning., , und . CoRR, (2022)Factored Online Planning in Many-Agent POMDPs., , , und . CoRR, (2023)Scenario-based verification of uncertain parametric MDPs., , , , , und . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Parameter synthesis for Markov models: covering the parameter space., , , , , , und . Formal Methods Syst. Des., 62 (1): 181-259 (Juni 2024)