


default search action
Sebastian Junges
Person information
- affiliation: Radboud University, Nijmegen, The Netherlands
- affiliation: University of California, Berkeley, CA, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j13]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen
, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
:
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62(1): 181-259 (2024) - [c73]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. AAAI 2024: 17407-17415 - [c72]Christian Hensel, Sebastian Junges
, Tim Quatmann
, Matthias Volk
:
Riding the Storm in a Probabilistic Model Checking Landscape. Principles of Verification (2) 2024: 98-114 - [c71]Jurriaan Rot, Sebastian Junges, Harsh Beohar:
Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice 2024: 203-213 - [c70]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CAV (3) 2024: 467-491 - [c69]Marnix Suilen, Marck van der Vegt, Sebastian Junges:
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CONCUR 2024: 40:1-40:17 - [c68]Loes Kruger
, Sebastian Junges
, Jurriaan Rot
:
State Matching and Multiple References in Adaptive Active Automata Learning. FM (1) 2024: 267-284 - [c67]Sebastian Junges, Sanjit A. Seshia, Hazem Torfah:
Active Learning of Runtime Monitors Under Uncertainty. IFM 2024: 297-306 - [c66]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. IJCAI 2024: 6697-6706 - [c65]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A*. IJCAI 2024: 6743-6751 - [c64]Loes Kruger
, Sebastian Junges
, Jurriaan Rot
:
Small Test Suites for Active Automata Learning. TACAS (2) 2024: 109-129 - [c63]Thom S. Badings
, Matthias Volk
, Sebastian Junges
, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [c62]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) 2024: 279-298 - [e3]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Lecture Notes in Computer Science 15260, Springer 2024, ISBN 978-3-031-75782-2 [contents] - [e2]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Lecture Notes in Computer Science 15261, Springer 2024, ISBN 978-3-031-75774-7 [contents] - [e1]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science 15262, Springer 2024, ISBN 978-3-031-75777-8 [contents] - [d21]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. Version 1. Zenodo, 2024 [all versions] - [d20]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. Version 2. Zenodo, 2024 [all versions] - [d19]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. Version 3. Zenodo, 2024 [all versions] - [d18]Kazuki Watanabe
, Marck van der Vegt
, Ichiro Hasuo
, Jurriaan Rot
, Sebastian Junges
:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Zenodo, 2024 - [d17]Kazuki Watanabe
, Marck van der Vegt
, Ichiro Hasuo
, Jurriaan Rot
, Sebastian Junges
:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Zenodo, 2024 - [d16]Kazuki Watanabe
, Marck van der Vegt
, Sebastian Junges
, Ichiro Hasuo
:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Zenodo, 2024 - [d15]Kazuki Watanabe
, Marck van der Vegt
, Sebastian Junges
, Ichiro Hasuo
:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Zenodo, 2024 - [d14]Kazuki Watanabe
, Marck van der Vegt
, Sebastian Junges
, Ichiro Hasuo
:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Zenodo, 2024 - [i62]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i61]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR abs/2401.08377 (2024) - [i60]Loes Kruger, Sebastian Junges, Jurriaan Rot:
Small Test Suites for Active Automata Learning. CoRR abs/2401.12703 (2024) - [i59]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. CoRR abs/2405.04941 (2024) - [i58]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A. CoRR abs/2405.05662 (2024) - [i57]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CoRR abs/2405.10099 (2024) - [i56]Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
Tools at the Frontiers of Quantitative Verification. CoRR abs/2405.13583 (2024) - [i55]Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR abs/2406.00826 (2024) - [i54]Loes Kruger, Sebastian Junges, Jurriaan Rot:
State Matching and Multiple References in Adaptive Active Automata Learning. CoRR abs/2406.19714 (2024) - [i53]Marnix Suilen, Marck van der Vegt, Sebastian Junges:
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CoRR abs/2407.07006 (2024) - [i52]Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo:
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR abs/2407.10465 (2024) - [i51]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák:
Policies Grow on Trees: Model Checking Families of MDPs. CoRR abs/2407.12552 (2024) - [i50]Jurriaan Rot, Sebastian Junges, Harsh Beohar:
Relating Apartness and Branching Bisimulation Games. CoRR abs/2411.02977 (2024) - 2023
- [c61]Steven Carr, Nils Jansen, Sebastian Junges
, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c60]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c59]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) 2023: 113-135 - [c58]Wietze Koops
, Nils Jansen
, Sebastian Junges
, Thiago D. Simão:
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI 2023: 5402-5410 - [c57]Kevin Batz
, Mingshuai Chen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) 2023: 410-429 - [c56]Arnd Hartmanns
, Sebastian Junges
, Tim Quatmann
, Maximilian Weininger
:
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) 2023: 469-488 - [c55]Marck van der Vegt
, Nils Jansen
, Sebastian Junges
:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - [d13]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.3. Zenodo, 2023 [all versions] - [d12]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.4. Zenodo, 2023 [all versions] - [d11]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.5. Zenodo, 2023 [all versions] - [d10]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions] - [d9]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions] - [d8]Kazuki Watanabe
, Marck van der Vegt
, Ichiro Hasuo
, Jurriaan Rot
, Sebastian Junges
:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Zenodo, 2023 - [i49]Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
:
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR abs/2301.10197 (2023) - [i48]Marck van der Vegt, Nils Jansen
, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023) - [i47]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i46]Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR abs/2305.14149 (2023) - [i45]Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023) - [i44]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
:
Factored Online Planning in Many-Agent POMDPs. CoRR abs/2312.11434 (2023) - [i43]Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, Bahare Salmani:
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). Dagstuhl Reports 13(6): 1-21 (2023) - 2022
- [j12]Tim Quatmann
, Sebastian Junges
, Joost-Pieter Katoen
:
Markov automata with multiple objectives. Formal Methods Syst. Des. 60(1): 33-86 (2022) - [j11]Christian Hensel, Sebastian Junges
, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
:
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022) - [j10]Thom S. Badings, Murat Cubuktepe, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [j9]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [c54]Hazem Torfah
, Carol Xie, Sebastian Junges
, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22 - [c53]Sebastian Junges
, Jurriaan Rot:
Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 371-381 - [c52]Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - [c51]Thom S. Badings
, Nils Jansen
, Sebastian Junges
, Mariëlle Stoelinga
, Matthias Volk
:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [c50]Sebastian Junges
, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. CAV (1) 2022: 102-123 - [c49]Edward Kim, Jay Shenoy
, Sebastian Junges
, Daniel J. Fremont
, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 34-45 - [c48]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 322-323 - [c47]Dennis Gross, Nils Jansen
, Sebastian Junges
, Guillermo A. Pérez
:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA 2022: 41-49 - [c46]Roman Andriushchenko, Milan Ceska, Sebastian Junges
, Joost-Pieter Katoen:
Inductive synthesis of finite-state controllers for POMDPs. UAI 2022: 85-95 - [c45]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150 - [d7]Thom S. Badings
, Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - [d6]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains (Artifact). Zenodo, 2022 - [i42]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR abs/2203.10803 (2022) - [i41]Steven Carr, Nils Jansen
, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - [i40]Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR abs/2205.06152 (2022) - [i39]Thom S. Badings, Nils Jansen
, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022) - [i38]Sebastian Junges, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. CoRR abs/2206.02653 (2022) - [i37]Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022) - [i36]Dennis Gross, Nils Jansen
, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR abs/2209.07133 (2022) - 2021
- [j8]Milan Ceska
, Christian Hensel, Sebastian Junges
, Joost-Pieter Katoen:
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33(4-5): 637-667 (2021) - [j7]Sebastian Junges
, Joost-Pieter Katoen, Guillermo A. Pérez
, Tobias Winkler:
The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119: 183-210 (2021) - [j6]Leonore Winterer
, Sebastian Junges
, Ralf Wimmer
, Nils Jansen
, Ufuk Topcu
, Joost-Pieter Katoen
, Bernd Becker
:
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66(3): 1040-1054 (2021) - [c44]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c43]Sebastian Junges
, Hazem Torfah
, Sanjit A. Seshia
:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576 - [c42]Steven Holtzen
, Sebastian Junges
, Marcell Vazquez-Chanlatte
, Todd D. Millstein
, Sanjit A. Seshia
, Guy Van den Broeck
:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) 2021: 577-601 - [c41]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c40]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Simon Stupinský:
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) 2021: 856-869 - [c39]Marcell Vazquez-Chanlatte, Sebastian Junges
, Daniel J. Fremont
, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021 - [c38]Hazem Torfah
, Sebastian Junges
, Daniel J. Fremont
, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330 - [c37]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains. TACAS (1) 2021: 173-190 - [c36]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) 2021: 191-209 - [d5]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). Zenodo, 2021 - [d4]Steven Holtzen
, Sebastian Junges
, Marcell Vazquez-Chanlatte
, Todd D. Millstein
, Sanjit A. Seshia
, Guy Van den Broeck
:
Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'. Zenodo, 2021 - [d3]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 1. Zenodo, 2021 [all versions] - [d2]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 2. Zenodo, 2021 [all versions] - [d1]Sebastian Junges
, Hazem Torfah
, Sanjit A. Seshia
:
Experiments for 'Runtime Monitoring for Markov Decision Processes'. Zenodo, 2021 - [i35]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR abs/2101.12683 (2021) - [i34]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021) - [i33]Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021) - [i32]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR abs/2105.12326 (2021) - [i31]Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021) - [i30]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i29]Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR abs/2111.04407 (2021) - [i28]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021) - [i27]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021) - 2020
- [b1]Sebastian Junges:
Parameter synthesis in Markov models. RWTH Aachen University, Germany, 2020 - [j5]Christel Baier
, Christian Hensel, Lisa Hutschenreiter
, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein:
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272: 104504 (2020) - [j4]Arnd Hartmanns
, Sebastian Junges
, Joost-Pieter Katoen
, Tim Quatmann
:
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64(7): 1483-1522 (2020) - [c35]Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. ATVA 2020: 288-304 - [c34]Kevin Batz
, Sebastian Junges
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
, Philipp Schröer
:
PrIC3: Property Directed Reachability for MDPs. CAV (2) 2020: 512-538 - [c33]Nils Jansen
, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
:
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR