Sebastian Junges - Publications, H-index & Citations

Sebastian Junges

Radboud University Nijmegen

22H指数

183论文数

2.2K被引数

收录论文 7

发表时间

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains 广义参数提升：参数化马尔可夫链的更精细抽象

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF0

2026-01-01

PREAI

Heck, Linus; Quatmann, Tim; Spel, Jip; Katoen, Joost-Pieter; Junges, Sebastian

Compositional Verification of Almost-Sure Buchi Objectives in MDPs 马尔可夫决策过程(MDPs)中几乎必然Büchi目标的组成验证

REACHABILITY PROBLEMS, RP 2025

IF0

2026-01-01

PREAI

van der Vegt, Marck; Watanabe, Kazuki; Hasuo, Ichiro; Junges, Sebastian

Shields for Safe Reinforcement Learning

COMMUNICATIONS OF THE ACM

IF12.2

2025-11-01

PREAI

Konighofer, Bettina; Bloem, Roderick; Jansen, Nils; Junges, Sebastian; Pranger, Stefan

Convex Optimization for Parameter Synthesis in MDPs

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2022-12-01

OAAI

Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-03-01

OAAI

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd

Safety analysis for vehicle guidance systems with dynamic fault trees

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2019-06-01

PREAI

Ghadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2018-01-01

PREAI

Volk, Matthias; Junges, Sebastian; Katoen, Joost-Pieter

研究方向