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
1442015
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
1032016
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
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
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
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
682014
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
622018
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
592010
Neural simplex architecture
DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller
NASA Formal Methods Symposium, 97-114, 2020
582020
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
562015
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
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
472014
Synthesis in pMDPs: A tale of 1001 parameters
M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu
International Symposium on Automated Technology for Verification and …, 2018
412018
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, AD Marco, S Gerasimou, P Inverardi, ...
Self-Aware Computing Systems, 337-373, 2017
402017
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
402015
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, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
372017
Hierarchical counterexamples for discrete-time Markov chains
N Jansen, E Ábrahám, J Katelaan, R Wimmer, JP Katoen, B Becker
International Symposium on Automated Technology for Verification and …, 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
322019
The system can't perform the operation now. Try again later.
Articles 1–20