Detail page

Knowledge Web

Person

Sebastian Junges

Informatiker

Name	Sebastian Junges
Place	Deutschland
Academic degree	Dr. rer. nat.
Profession	Informatiker (characteristic profession)
Variant	S. Junges
Related	Radboud Universiteit Nijmegen
Further information	Dissertation an der Rheinisch-Westfälischen Technischen Hochschule Aachen, Fakultät für Mathematk, Informatik und Naturwissenschaften, 2020
Source	Dissertation
Record type	Person
GND-Identifier	1205159665
Record ID	1205159665
Involved in show all The revised practitioner’s guide to MDP model checking algorithms An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty Correction to: Efficient Probabilistic Model Checking for Relational Reachability Efficient Probabilistic Model Checking for Relational Reachability (Extended Version) Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II Parameter synthesis for Markov models: covering the parameter space Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops 2024, Volume 13, Issue 6, page 1-21 A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs Parameter synthesis for Markov models : covering the parameter space Parameter synthesis for Markov models : covering the parameter space Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants Search and Explore: Symbiotic Policy Synthesis in POMDPs Scenario-based verification of uncertain parametric MDPs Scenario-based verification of uncertain parametric MDPs The probabilistic model checker Storm Counterexample-guided inductive synthesis for probabilistic systems Markov automata with multiple objectives Finding Provably Optimal Markov Chains PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs The probabilistic model checker STORM Multi-cost Bounded Tradeoff Analysis in MDP Multi-cost Bounded Tradeoff Analysis in MDP Parameter synthesis in Markov models PrIC3: Property Directed Reachability for MDPs On the Complexity of Reachability in Parametric Markov Decision Processes Shepherding Hordes of Markov Chains Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext Fault trees on a diet: automated reduction by graph rewriting Parameter synthesis for probabilistic systems

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Sebastian Junges

The revised practitioner’s guide to MDP model checking algorithms

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

Correction to: Efficient Probabilistic Model Checking for Relational Reachability

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)

Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Parameter synthesis for Markov models: covering the parameter space

Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs

Parameter synthesis for Markov models : covering the parameter space

Parameter synthesis for Markov models : covering the parameter space

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

Search and Explore: Symbiotic Policy Synthesis in POMDPs

Scenario-based verification of uncertain parametric MDPs

Scenario-based verification of uncertain parametric MDPs

The probabilistic model checker Storm

Counterexample-guided inductive synthesis for probabilistic systems

Markov automata with multiple objectives

Finding Provably Optimal Markov Chains

PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs

The probabilistic model checker STORM

Multi-cost Bounded Tradeoff Analysis in MDP

Multi-cost Bounded Tradeoff Analysis in MDP

Parameter synthesis in Markov models

PrIC3: Property Directed Reachability for MDPs

On the Complexity of Reachability in Parametric Markov Decision Processes

Shepherding Hordes of Markov Chains

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Fault trees on a diet: automated reduction by graph rewriting

Parameter synthesis for probabilistic systems