Nils Jansen

Cited by

	All	Since 2019
Citations	2905	2229
h-index	34	29
i10-index	59	56

580

290

145

435

2011201220132014201520162017201820192020202120222023202415 29 37 55 91 95 108 179 209 230 331 423 574 448

Public access

View all

58 articles

1 article

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Licio RomaoPostdoctoral Researcher, Stanford UniversityVerified email at stanford.edu

Nils Jansen

Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum

Verified email at rub.de - Homepage

AI Decision-Making under Uncertainty POMDPs Safe Reinforcement Learning Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	176*	2020
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... International Conference on Computer Aided Verification, 214-231, 2015	158	2015
Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen International conference on tools and algorithms for the construction and …, 2016	148	2016
Formalizing and guaranteeing human-robot interaction H Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ... Communications of the ACM 64 (9), 78-84, 2021	133*	2021
Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen Automated Technology for Verification and Analysis: 14th International …, 2016	107	2016
Conditioning in probabilistic programming F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018	101*	2018
Finite-state controllers of POMDPs via parameter synthesis S Junges, N Jansen, R Wimmer, T Quatmann, L Winterer, J Katoen, ... Conference on Uncertainty in Artificial Intelligence (UAI), 2018	86*	2018
Neural simplex architecture DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020	79	2020
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... International Conference on Quantitative Evaluation of Systems, 404-420, 2014	79	2014
Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020	75*	2020
DTMC model checking by SCC reduction E Abrahám, N Jansen, R Wimmer, JP Katoen, B Becker International Conference on the Quantitative Evaluation of Systems, 37-46, 2010	68	2010
Convex optimization for parameter synthesis in MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu IEEE Transactions on Automatic Control 67 (12), 6333-6348, 2021	61*	2021
A greedy approach for the efficient repair of stochastic models S Pathak, E Ábrahám, N Jansen, A Tacchella, JP Katoen NASA Formal Methods Symposium, 295-309, 2015	60	2015
Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer Formal Methods for Executable Software Models: 14th International School on …, 2014	59	2014
Adversarial patch camouflage against aerial detection R Den Hollander, A Adhikari, I Tolios, M van Bekkum, A Bal, S Hendriks, ... Artificial intelligence and machine learning in defense applications II …, 2020	58	2020
Parameter Synthesis for Markov Models: Covering the Parameter Space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019	57	2019
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes S Carr, N Jansen, U Topcu Journal of Artificial Intelligence Research 72, 819-847, 2021	56*	2021
Minimal critical subsystems for discrete-time Markov models R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2012	53	2012
AlwaysSafe: Reinforcement learning without safety constraint violations during training TD Simão, N Jansen, MTJ Spaan AAMAS '21: Proceedings of the 20th International Conference on Autonomous …, 2021	50	2021
High-level Counterexamples for Probabilistic Automata RWNJEAJP Katoen Logical Methods in Computer Science 11 (1), 2015	50	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors