Picture for Sebastian Junges

Sebastian Junges

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

May 01, 2023
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Figure 1 for Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Figure 2 for Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Figure 3 for Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Figure 4 for Efficient Sensitivity Analysis for Parametric Robust Markov Chains

* To be presented at CAV 2023

Access Paper or Ask Questions

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

Sep 15, 2022
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Perez

Figure 1 for COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

Access Paper or Ask Questions

Abstraction-Refinement for Hierarchical Probabilistic Models

Jun 06, 2022
Sebastian Junges, Matthijs T. J. Spaan

Figure 1 for Abstraction-Refinement for Hierarchical Probabilistic Models

Figure 2 for Abstraction-Refinement for Hierarchical Probabilistic Models

Figure 3 for Abstraction-Refinement for Hierarchical Probabilistic Models

Figure 4 for Abstraction-Refinement for Hierarchical Probabilistic Models

* Extended submitted version for CAV 2022

Access Paper or Ask Questions

Safe Reinforcement Learning via Shielding for POMDPs

Apr 02, 2022
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Figure 1 for Safe Reinforcement Learning via Shielding for POMDPs

Figure 2 for Safe Reinforcement Learning via Shielding for POMDPs

Figure 3 for Safe Reinforcement Learning via Shielding for POMDPs

Figure 4 for Safe Reinforcement Learning via Shielding for POMDPs

* 15 pages, 15 Figures, 6 Tables

Access Paper or Ask Questions

Convex Optimization for Parameter Synthesis in MDPs

Jun 30, 2021
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Figure 1 for Convex Optimization for Parameter Synthesis in MDPs

Figure 2 for Convex Optimization for Parameter Synthesis in MDPs

Figure 3 for Convex Optimization for Parameter Synthesis in MDPs

Figure 4 for Convex Optimization for Parameter Synthesis in MDPs

* Submitted to IEEE TAC

Access Paper or Ask Questions

Runtime Monitoring for Markov Decision Processes

May 26, 2021
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia

Figure 1 for Runtime Monitoring for Markov Decision Processes

Figure 2 for Runtime Monitoring for Markov Decision Processes

Figure 3 for Runtime Monitoring for Markov Decision Processes

Figure 4 for Runtime Monitoring for Markov Decision Processes

* Technical report with appendix. Accepted at CAV

Access Paper or Ask Questions

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Jan 29, 2021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Figure 1 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Figure 2 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Figure 3 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Figure 4 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons

* Full version of TACAS'21 submission

Access Paper or Ask Questions