| 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 | 148 | 2015 |
| Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020 | 114* | 2020 |
| 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 | 114 | 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 | 92 | 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 | 73* | 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 | 71* | 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 | 70 | 2014 |
| 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 | 65 | 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 | 61 | 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 | 51 | 2014 |
| 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 | 50* | 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 | 49 | 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 | 42 | 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 |
| Parameter synthesis for Markov models S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 36 | 2019 |
| 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 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
