Concepedia

Sebastian Junges

SJ

22

Publications

650

Citations

16

H-Index

2016

Active since

Affiliations

RWTH Aachen University(Current)

Radboud University Nijmegen

The University of Texas at Austin

University of California, Berkeley

University of Twente

Sebastian Junges is an author at RWTH Aachen University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationArtificial IntelligenceVerificationRobot LearningIntelligent SystemsRobotics

Publications per year

2016–2024

22

Publications

22

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen · IEEE Transactions on Industrial Informatics · 2017 · 117 citations

Engineering, Verification, Computer-aided Verification +18

Safety analysis for vehicle guidance systems with dynamic fault trees

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen et al. · Reliability Engineering & System Safety · 2019 · 54 citations · Full text

Safety Engineering, Engineering, Aerospace Engineering +6

Uncovering Dynamic Fault Trees

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen et al. · 2016 · 51 citations · Full text

Software Maintenance, Fault Tree Analysis, Engineering +23

Safe Reinforcement Learning Using Probabilistic Shields

Nils Jansen, Bettina Könighofer, Sebastian Junges et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 51 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +11

Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer et al. · RWTH Publications (RWTH Aachen) · 2018 · 45 citations

Artificial Intelligence, Engineering, Intelligent Systems +19

Rows per page

1–5 of 22