Follow
Nils Jansen
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
1432015
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
1072016
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
902016
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
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
692014
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
68*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
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
592020
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
582010
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
562015
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
482014
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
482012
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
412018
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
412015
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
402017
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
372017
Hierarchical Counterexamples for Discrete-Time Markov Chains.
N Jansen, E Ábrahám, J Katelaan, R Wimmer, JP Katoen, B Becker
ATVA, 443-452, 2011
342011
Parameter synthesis for Markov models
S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
332019
The system can't perform the operation now. Try again later.
Articles 1–20