Nils Jansen

Citeret af

	Alle	Siden 2020
Henvisninger	3199	2314
h-index	36	28
i10-indeks	63	60

660

330

165

495

20112012201320142015201620172018201920202021202220232024202515 29 37 55 91 95 108 179 208 233 348 437 583 644 63

Offentlig adgang

Se alle

61 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerificeret mail på ru.nl
Ufuk TopcuThe University of Texas at AustinVerificeret mail på utexas.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerificeret mail på informatik.uni-freiburg.de
Thom BadingsPostdoctoral researcher, University of OxfordVerificeret mail på cs.ox.ac.uk
Murat CubuktepeUniversity of Texas at AustinVerificeret mail på utexas.edu
Christian DehnertRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerificeret mail på tue.nl
Marnix SuilenPostdoctoral Researcher, University of AntwerpVerificeret mail på uantwerpen.be
Steven CarrUniversity of Texas at AustinVerificeret mail på utexas.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerificeret mail på utwente.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerificeret mail på cs.uni-saarland.de
Roderick BloemGraz University of TechnologyVerificeret mail på iaik.tugraz.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
Federico OlmedoUniversity of ChileVerificeret mail på dcc.uchile.cl
Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyVerificeret mail på uky.edu
David ParkerProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
Licio RomaoAssistant Professor, Technical University of Denmark (DTU)Verificeret mail på dtu.dk

Følg

Nils Jansen

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

Verificeret mail på rub.de - Startside

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


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	196*	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	166	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	154	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	136*	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	112	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	109*	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	92*	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	84	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	82	2014
Parameter Synthesis for Markov Models: Covering the Parameter Space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... Formal Methods in System Design, 2024	71*	2024
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	70	2010
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	68	2020
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	66*	2021
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	63*	2021
Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020	63	2020
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	62	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	60	2014
Safe Reinforcement Learning via Shielding for POMDPs S Carr, N Jansen, S Junges, U Topcu AAAI, 2023	59*	2023
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	54	2012
High-level Counterexamples for Probabilistic Automata RWNJEAJP Katoen Logical Methods in Computer Science 11 (1), 2015	53	2015

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere