Follow
Sebastian Junges
Title
Cited by
Cited by
Year
The Probabilistic Model Checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
arXiv preprint arXiv:2002.07080, 2020
437*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
1382015
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
952016
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
882016
Jani: Quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
862017
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám
International Conference on Theory and Applications of Satisfiability …, 2015
822015
Fast dynamic fault tree analysis by model checking techniques
M Volk, S Junges, JP Katoen
IEEE Transactions on Industrial Informatics 14 (1), 370-379, 2018
772018
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
75*2020
Finite-state controllers of POMDPs via parameter synthesis
S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
UAI, 2018
62*2018
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox
F Corzilius, U Loup, S Junges, E Ábrahám
International Conference on Theory and Applications of Satisfiability …, 2012
512012
Safety analysis for vehicle guidance systems with dynamic fault trees
M Ghadhab, S Junges, JP Katoen, M Kuntz, M Volk
Reliability Engineering & System Safety 186, 37-50, 2019
45*2019
Convex Optimization for Parameter Synthesis in MDPs
M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu
IEEE Transactions on Automatic Control, 2021
39*2021
Uncovering dynamic fault trees
S Junges, D Guck, JP Katoen, M Stoelinga
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
392016
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
Multi-cost Bounded Tradeoff Analysis in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
Journal of Automated Reasoning 64 (7), 1483-1522, 2020
30*2020
Fault trees on a diet: automated reduction by graph rewriting
S Junges, D Guck, JP Katoen, A Rensink, M Stoelinga
Formal aspects of computing 29 (4), 651-703, 2017
29*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
282019
The complexity of reachability in parametric Markov decision processes
S Junges, JP Katoen, GA Pérez, T Winkler
Journal of Computer and System Sciences 119, 183-210, 2021
23*2021
Shepherding hordes of Markov chains
M Češka, N Jansen, S Junges, JP Katoen
International Conference on Tools and Algorithms for the Construction and …, 2019
222019
Markov Automata with Multiple Objectives
T Quatmann, S Junges, JP Katoen
International Conference on Computer Aided Verification, 140-159, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20