( en | de | ru )

 

Disambiguation of "Jansen, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
Finite-State Controllers of POMDPs using Parameter Synthesis.

, , , , , , and . UAI, page 519-529. AUAI Press, (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. You can also use the button next to the name to display some publications already assigned to the person.

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

Nils Jansen

 

Other publications of authors with the same name

Robust Finite-State Controllers for Uncertain POMDPs., , , , , and . CoRR, (2020)Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , and . IJCAI, page 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., , , , and . MMVR, volume 196 of Studies in Health Technology and Informatics, page 36-42. IOS Press, (2014)Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics., , , , and . CoRR, (2022)Model Repair Revamped: On the Automated Synthesis of Markov Chains., , , , and . CoRR, (2021)Control Theory Meets POMDPs: A Hybrid Systems Approach., , , and . IEEE Trans. Autom. Control., 66 (11): 5191-5204 (2021)Safe Reinforcement Learning via Shielding for POMDPs., , , and . CoRR, (2022)Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes., , and . J. Artif. Intell. Res., (2021)Scenario-based verification of uncertain parametric MDPs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation., , , and . CoRR, (2022)