Nils Jansen

Cited by

	All	Since 2018
Citations	1783	1373
h-index	26	21
i10-index	45	43

400

200

100

300

201120122013201420152016201720182019202020212022202311 25 29 50 90 91 105 178 202 232 333 398 29

Public access

View all

40 articles

0 articles

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
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Murat CubuktepeUniversity 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
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyVerified email at g.uky.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Marnix SuilenPhD student, Radboud UniversityVerified email at science.ru.nl
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Thiago D. SimãoDelft University of TechnologyVerified email at tudelft.nl
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerp.be
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz

Nils Jansen

Associate Professor, Radboud University Nijmegen

Verified email at science.ru.nl - Homepage

Artificial Intelligence Planning under Uncertainty POMDPs Safe Reinforcement Learning Formal Verification


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	143	2015
Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	107	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	90	2016
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem 31st International Conference on Concurrency Theory (CONCUR 2020), 2020	89*	2020
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	69*	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	69	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	64*	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	59	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	58	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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	56	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	48	2014
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
Synthesis in pMDPs: A tale of 1001 parameters M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu Automated Technology for Verification and Analysis: 16th International …, 2018	41	2018
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	41	2015
Minimal counterexamples for linear-time probabilistic verification R Wimmer, N Jansen, E Ábrahám, JP Katoen, B Becker Theoretical Computer Science 549, 61-100, 2014	41*	2014
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	40	2017
The COMICS tool–Computing Minimal Counterexamples for DTMCs N Jansen, E Ábrahám, M Volk, R Wimmer, JP Katoen, B Becker International Symposium on Automated Technology for Verification and …, 2012	38*	2012
Sequential convex programming for the efficient verification of parametric MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, I Papusha, HA Poonawala, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017	37	2017
Hierarchical Counterexamples for Discrete-Time Markov Chains. N Jansen, E Ábrahám, J Katelaan, R Wimmer, JP Katoen, B Becker ATVA, 443-452, 2011	34	2011
Parameter synthesis for Markov models S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019	33	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