Sotabase

Career

· Asst. Professor, Radboud University

Publications (94)

A Storm is Coming: A Modern Probabilistic Model Checker
International Conference on Computer Aided Verification · 2017
427
cited
The probabilistic model checker Storm
International Journal on Software Tools for Technology Transfer (STTT) · 2020
225
cited
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
International Conference on Computer Aided Verification · 2015
129
cited
Safety-Constrained Reinforcement Learning for MDPs
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
121
cited
JANI: Quantitative Model and Tool Interaction
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2017
110
cited
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
International Conference on Theory and Applications of Satisfiability Testing · 2015
98
cited
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
IEEE Transactions on Industrial Informatics · 2018
96
cited
Parameter Synthesis for Markov Models: Faster Than Ever
Automated Technology for Verification and Analysis · 2016
88
cited
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)
International Conference on Concurrency Theory · 2020
69
cited
Safe Reinforcement Learning via Shielding under Partial Observability
AAAI Conference on Artificial Intelligence · 2022
61
cited
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees
Reliability Engineering & System Safety · 2019
50
cited
Uncovering Dynamic Fault Trees
Dependable Systems and Networks · 2016
46
cited
Shielded Decision-Making in MDPs
arXiv.org · 2018
45
cited
Synthesis in pMDPs: A Tale of 1001 Parameters
Automated Technology for Verification and Analysis · 2018
44
cited
Finite-State Controllers of POMDPs using Parameter Synthesis
Conference on Uncertainty in Artificial Intelligence · 2018
42
cited
Parameter synthesis for Markov models: covering the parameter space
Formal methods in system design · 2019
39
cited
The Complexity of Reachability in Parametric Markov Decision Processes
Journal of computer and system sciences (Print) · 2020
37
cited
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)
International Conference on Theory and Applications of Satisfiability Testing · 2012
34
cited
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2017
33
cited
Robust Finite-State Controllers for Uncertain POMDPs
AAAI Conference on Artificial Intelligence · 2020
32
cited
Sotabase
Sebastian Junges | Researcher Profile | Sotabase | Sotabase