Sebastian Junges

Citace

	Všechny	Od 2020
Citace	3509	2723
h-index	30	27
i10-index	54	52

800

400

200

600

2015201620172018201920202021202220232024202528 62 140 249 275 318 431 522 587 798 67

Veřejný přístup

Zobrazit všechny

51 článků

4 články

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
Tim QuatmannRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
Christian DehnertRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
Milan CeskaBrno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
Arnd HartmannsUniversity of TwenteE-mailová adresa ověřena na: utwente.nl
Murat CubuktepeUniversity of Texas at AustinE-mailová adresa ověřena na: utexas.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mailová adresa ověřena na: utwente.nl
Roman AndriushchenkoPh.D. student, Brno University of TechnologyE-mailová adresa ověřena na: vutbr.cz
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyE-mailová adresa ověřena na: informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaE-mailová adresa ověřena na: iaik.tugraz.at
Thom BadingsPostdoctoral researcher, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
Gereon KremerCertora LtdE-mailová adresa ověřena na: cs.stanford.edu
Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputeE-mailová adresa ověřena na: dtu.dk

Sledovat

Sebastian Junges

Assistant Professor, Radboud University, Nijmegen

E-mailová adresa ověřena na: ru.nl - Domovská stránka

Formal methods Markov Decision Processes Controller Synthesis Probabilistic Inference Runtime Assurance


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
The Probabilistic Model Checker Storm C Hensel, S Junges, JP Katoen, T Quatmann, M Volk STTT, 2022	810*	2022
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	194*	2020
Prophesy: A probabilistic parameter synthesis tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... CAV, 214-231, 2015	169	2015
Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen TACAS, 130-146, 2016	154	2016
Jani: Quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini TACAS, 151-168, 2017	144	2017
Fast dynamic fault tree analysis by model checking techniques M Volk, S Junges, JP Katoen IEEE Transactions on Industrial Informatics 14 (1), 370-379, 2018	137	2018
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám SAT, 360-368, 2015	132	2015
Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen ATVA, 50-67, 2016	111	2016
Finite-state controllers of POMDPs via parameter synthesis S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... UAI, 2018	93*	2018
Safety analysis for vehicle guidance systems with dynamic fault trees M Ghadhab, S Junges, JP Katoen, M Kuntz, M Volk Reliability Engineering & System Safety 186, 37-50, 2019	88*	2019
Parameter synthesis for Markov models: covering the parameter space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... Formal Methods in System Design, 1-79, 2024	69*	2024
Convex optimization for parameter synthesis in MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu IEEE Transactions on Automatic Control 67 (12), 6333-6348, 2021	65*	2021
The complexity of reachability in parametric Markov decision processes S Junges, JP Katoen, GA Pérez, T Winkler Journal of Computer and System Sciences 119, 183-210, 2021	64*	2021
Safe Reinforcement Learning via Shielding for POMDPs S Carr, N Jansen, S Junges, U Topcu AAAI, 2023	61*	2023
Uncovering dynamic fault trees S Junges, D Guck, JP Katoen, M Stoelinga DSN, 299-310, 2016	58	2016
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox F Corzilius, U Loup, S Junges, E Ábrahám SAT, 442-448, 2012	55*	2012
Multi-cost Bounded Tradeoff Analysis in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann Journal of Automated Reasoning 64 (7), 1483-1522, 2020	52*	2020
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský CAV, 856-869, 2021	46*	2021
Scenario-Based Verification of Uncertain MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu TACAS, 287-305, 2020	45*	2020
Robust Finite-State Controllers for Uncertain POMDPs M Cubuktepe, N Jansen, S Junges, A Marandi, M Suilen, U Topcu AAAI, 2021	44	2021

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledovat

Citace

Spoluautoři