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
16 items
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
Incremental Fingerprinting in an Open World
2026
Cited
0
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
2025
Cited
0
Compositional Verification of Almost-Sure Büchi Objectives in MDPs
2025
Cited
0
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
2025
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