Nils Jansen

Nils Jansen

Radboud University - Nijmegen / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1810734
Radboud Universiteit
person_outline Nils Jansen's MOST POPULAR ARTICLES
1-) Safe Reinforcement Learning Using Probabilistic ShieldsN Jansen, B Könighofer, S Junges, A Serban, R BloemCONCUR, 2020153*2020
2-) PROPhESY: A PRObabilistic ParamEter SYnthesis ToolC Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...International Conference on Computer Aided Verification, 214-231, 20151522015
3-) Safety-constrained reinforcement learning for MDPsS Junges, N Jansen, C Dehnert, U Topcu, JP KatoenTools and Algorithms for the Construction and Analysis of Systems: 22nd …, 20161152016
4-) Formalizing and guaranteeing human-robot interactionH Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ...Communications of the ACM 64 (9), 78-84, 2021134*2021
5-) Parameter synthesis for Markov models: Faster than everT Quatmann, C Dehnert, N Jansen, S Junges, JP KatoenAutomated Technology for Verification and Analysis: 14th International …, 20161082016