Nils Jansen
Titel
Zitiert von
Zitiert von
Jahr
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
1152015
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
692016
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
632016
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
562014
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
54*2018
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
502010
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
46*2018
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
452015
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
422012
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
412014
Safe Reinforcement Learning Using Probabilistic Shields
B Könighofer, R Bloem, S Junges, N Jansen, A Serban
International Conference on Concurrency Theory: 31st CONCUR 2020: Vienna …, 2020
38*2020
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
332017
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
33*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
32*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
30*2014
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
292017
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
292011
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
272018
Fast debugging of PRISM models
C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen
International Symposium on Automated Technology for Verification and …, 2014
242014
Regular model checking using solver technologies and automata learning
D Neider, N Jansen
NASA Formal Methods Symposium, 16-31, 2013
232013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20