Scholar
Sebastian Junges
Google Scholar ID: anwAmOEAAAAJ
Assistant Professor, Radboud University, Nijmegen
Formal methods
Markov Decision Processes
Controller Synthesis
Probabilistic Inference
Runtime Assurance
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,153
H-index
29
i10-index
53
Publications
20
Co-authors
91
list available
Publications
22 items
Adaptive Policy Portfolios for Robust Markov Decision Processes
2026
Cited
0
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026
Cited
0
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026
Cited
0
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026
Cited
0
Shields to Guarantee Probabilistic Safety in MDPs
2026
Cited
0
Tractable Hyperproperties for MDPs
2026
Cited
0
Probabilistic Model Checking Taken by Storm
2026
Cited
0
Load more
Co-authors
16 total
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Matthias Volk
Assistant Professor, Eindhoven University of Technology
Tim Quatmann
RWTH Aachen University
Ufuk Topcu
The University of Texas at Austin
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Milan Ceska
Brno University of Technology
Roman Andriushchenko
Ph.D. student, Brno University of Technology
