Nils Jansen

Cited by

	All	Since 2018
Citations	2280	1867
h-index	30	26
i10-index	50	48

520

260

130

390

201120122013201420152016201720182019202020212022202312 27 29 48 90 94 104 175 203 238 331 406 509

Public access

View all

49 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
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
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
Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Matthijs T. J. SpaanDelft University of TechnologyVerified email at tudelft.nl
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk

Nils Jansen

Full Professor, Ruhr-University Bochum

Verified email at science.ru.nl - Homepage

Artificial Intelligence Planning under Uncertainty POMDPs Safe Reinforcement Learning Formal


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	152	2015
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	147*	2020
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	126	2016
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	100	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	85*	2018
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	76	2014
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	75*	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	68	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	62	2010
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	59	2015
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	56*	2021
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	54	2014
Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020	51*	2020
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	48	2012
High-level Counterexamples for Probabilistic Automata JP Wimmer, Ralf and Jansen, Nils and Abraham, Erika and Katoen Logical Methods in Computer Science 11 (1), 2015	45	2015
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	44*	2021
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	43*	2020
Synthesis and verification of self-aware computing systems R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ... Self-Aware Computing Systems, 337-373, 2017	43	2017
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	42	2021
Shepherding Hordes of Markov Chains M Ceska, N Jansen, S Junges, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2019	42*	2019

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