| Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020 | 253* | 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 | 174 | 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 | 166 | 2016 |
| Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen International Symposium on Automated Technology for Verification and …, 2016 | 123 | 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 | 120* | 2018 |
| Neural simplex architecture DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller NASA Formal Methods Symposium, 97-114, 2020 | 109 | 2020 |
| 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 | 101* | 2018 |
| Safe Reinforcement Learning via Shielding for POMDPs S Carr, N Jansen, S Junges, U Topcu AAAI, 2023 | 96* | 2023 |
| 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 | 86* | 2024 |
| 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 | 86 | 2014 |
| Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 83 | 2020 |
| 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 | 81* | 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 | 80* | 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 | 75 | 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 | 70* | 2021 |
| 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 | 64 | 2014 |
| 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 | 63 | 2015 |
| Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions T Badings, L Romao, A Abate, D Parker, HA Poonawala, M Stoelinga, ... Journal of Artificial Intelligence Research, 2023 | 61 | 2023 |
| Damage detection using in-domain and cross-domain transfer learning ZA Bukhsh, N Jansen, A Saeed Neural Computing and Applications, 2021 | 61 | 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 | 60 | 2012 |
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
