Nils Jansen

Navedeno

	Vse	Od leta 2020
Navedbe	3183	2305
indeks h	36	29
indeks i10	63	61

680

340

170

510

20112012201320142015201620172018201920202021202220232024202516 35 34 59 92 95 108 181 187 227 345 427 553 663 86

Javni dostop

Prikaži vse

60 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
Ufuk TopcuThe University of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Bernd BeckerProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Thom BadingsPostdoctoral researcher, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyPreverjeni e-poštni naslov na tue.nl
Christian DehnertRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Murat CubuktepeUniversity of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
Marnix SuilenPostdoctoral Researcher, University of AntwerpPreverjeni e-poštni naslov na uantwerpen.be
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwentePreverjeni e-poštni naslov na utwente.nl
Steven CarrUniversity of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonPreverjeni e-poštni naslov na cs.uni-saarland.de
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPreverjeni e-poštni naslov na cs.ox.ac.uk
Roderick BloemGraz University of TechnologyPreverjeni e-poštni naslov na iaik.tugraz.at
Federico OlmedoUniversity of ChilePreverjeni e-poštni naslov na dcc.uchile.cl
Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyPreverjeni e-poštni naslov na uky.edu
David ParkerProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpPreverjeni e-poštni naslov na uantwerp.be

Spremljaj

Nils Jansen

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

Preverjeni e-poštni naslov na rub.de - Domača stran

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


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	201*	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	169	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	139*	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	111	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	93*	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	84	2014
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	71	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	65*	2021
Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020	65	2020
Safe Reinforcement Learning via Shielding for POMDPs S Carr, N Jansen, S Junges, U Topcu AAAI, 2023	63*	2023
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
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	61	2015
Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer International School on Formal Methods for the Design of Computer …, 2014	59	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	57	2012
High-level Counterexamples for Probabilistic Automata RWNJEAJP Katoen Logical Methods in Computer Science 11 (1), 2015	55	2015
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	53	2021
Counterexample-guided strategy improvement for pomdps using recurrent neural networks S Carr, N Jansen, R Wimmer, AC Serban, B Becker, U Topcu IJCAI, 2020	50	2020

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji