Sebastian Junges
Scholar

Sebastian Junges

Google Scholar ID: anwAmOEAAAAJ
Assistant Professor, Radboud University, Nijmegen
Formal methodsMarkov Decision ProcessesController SynthesisProbabilistic InferenceRuntime Assurance
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,153
 
H-index
29
 
i10-index
53
 
Publications
20
 
Co-authors
91
list available
Contact
No contact links provided.
Publications
20 items
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
Error-awareness Accelerates Active Automata Learning
2026
Cited
0
Learning Robust Markov Models for Safe Runtime Monitoring
2026
Cited
0
Resume (English only)
Co-authors
91 total
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Nils Jansen
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Matthias Volk
Matthias Volk
Assistant Professor, Eindhoven University of Technology
Tim Quatmann
Tim Quatmann
RWTH Aachen University
Ufuk Topcu
Ufuk Topcu
The University of Texas at Austin
Co-author 6
Co-author 6
Erika Abraham
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Milan Ceska
Milan Ceska
Brno University of Technology