default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian 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
- 2025
[j14]Roman Andriushchenko, Milan Ceska, Filip Macák
, Sebastian Junges, Joost-Pieter Katoen:
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. J. Artif. Intell. Res. 82: 433-469 (2025)- [i64]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák:
Small Decision Trees for MDPs with Deductive Synthesis. CoRR abs/2501.10126 (2025) - [i63]Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen:
Tighter Value-Function Approximations for POMDPs. CoRR abs/2502.06523 (2025) - 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) - [c74]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. AAAI 2024: 17407-17415 - [c73]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák:
Policies Grow on Trees: Model Checking Families of MDPs. ATVA (2) 2024: 51-75 - [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. Version 2. Zenodo, 2024 [all versions] - [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. Version 3. Zenodo, 2024 [all versions] - [d16]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 1. Zenodo, 2024 [all versions] - [d15]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 2. Zenodo, 2024 [all versions] - [d14]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching: Supplemental Material. Version 3. Zenodo, 2024 [all versions] - [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. Version 1. Zenodo, 2023 [all versions] - [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 2020: 3:1-3:16 - [c32]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [p1]Sebastian Junges:
Synthese im Kontext Parametrischer Markow-Modelle. Ausgezeichnete Informatikdissertationen 2020: 159-168 - [i26]Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
The Probabilistic Model Checker Storm. CoRR abs/2002.07080 (2020) - [i25]Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
PrIC3: Property Directed Reachability for MDPs. CoRR abs/2004.14835 (2020) - [i24]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i23]Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of indefinite-horizon POMDPs. CoRR abs/2007.00102 (2020) - [i22]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020) - [i21]Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler:
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/2009.13128 (2020)
2010 – 2019
- 2019
- [j3]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186: 37-50 (2019) - [c31]Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? ATVA 2019: 479-496 - [c30]Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems 2019: 107-125 - [c29]Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR 2019: 14:1-14:17 - [c28]Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM 2019: 101-120 - [c27]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. SNR 2019: 6-8 - [c26]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190 - [i20]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019) - [i19]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR abs/1903.05361 (2019) - [i18]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019) - [i17]Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/1904.01503 (2019) - [i16]Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR abs/1904.12371 (2019) - [i15]Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? CoRR abs/1907.08491 (2019) - [i14]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [j2]Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Informatics 14(1): 370-379 (2018) - [c25]Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets 2018: 272-293 - [c24]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [c23]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018 - [c22]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222 - [c21]Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Multi-cost Bounded Reachability in MDP. TACAS (2) 2018: 320-339 - [c20]Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018: 519-529 - [i13]Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR abs/1803.05376 (2018) - [i12]Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018) - [i11]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - 2017
- [j1]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga:
Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29(4): 651-703 (2017) - [c19]Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CAV (1) 2017: 140-159 - [c18]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) 2017: 592-600 - [c17]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208 - [c16]Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk:
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP 2017: 3-19 - [c15]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150 - [c14]Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini:
JANI: Quantitative Model and Tool Interaction. TACAS (2) 2017: 151-168 - [i10]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017) - [i9]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
A storm is Coming: A Modern Probabilistic Model Checker. CoRR abs/1702.04311 (2017) - [i8]Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. CoRR abs/1704.06648 (2017) - [i7]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017) - [i6]Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR abs/1710.10294 (2017) - 2016
- [c13]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016 - [c12]Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67 - [c11]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga:
Uncovering Dynamic Fault Trees. DSN 2016: 299-310 - [c10]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74 - [c9]Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. SAFECOMP 2016: 253-265 - [c8]Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross:
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. SRDS 2016: 307-316 - [c7]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146 - [i5]Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR abs/1602.05113 (2016) - [i4]Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
Advancing Dynamic Fault Tree Analysis. CoRR abs/1604.07474 (2016) - [i3]Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk:
The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713 (2016) - [i2]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016) - 2015
- [c6]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231 - [c5]Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám:
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. SAT 2015: 360-368 - [c4]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga:
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA 2015: 3-18 - [i1]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015) - 2014
- [c3]Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll:
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) 2014: 177-192 - 2013
- [c2]Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám:
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. CAI 2013: 186-198 - 2012
- [c1]Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám:
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT 2012: 442-448
Coauthor Index
Christian Hensel
aka: Christian Dehnert
aka: Christian Dehnert
[i63] [j13] [c74] [c66] [c65] [c63] [e3] [e2] [e1] [i62] [i59] [i58] [i56] [i55] [c61] [c60] [c58] [c55] [d10] [d9] [i48] [i47] [i44] [j10] [j9] [c52] [c51] [c47] [d7] [i41] [i39] [i37] [i36] [j6] [c44] [c41] [d3] [d2] [i31] [i30] [i27] [c33] [c32] [i24] [i22] [c30] [c27] [c26] [i20] [i18] [i14] [c24] [c23] [c22] [c20] [i12] [i11] [c17] [c15] [i10] [i7] [i6] [c13] [c12] [c10] [c7] [i5] [i2] [c6] [i1]
[j14] [j13] [d21] [d20] [d19] [c59] [c57] [d13] [d12] [d11] [i46] [i43] [j12] [j11] [j10] [j9] [c52] [c46] [c45] [d7] [d6] [i42] [i40] [i37] [j8] [j7] [j6] [c40] [c37] [c36] [d5] [i35] [i31] [i30] [i29] [i27] [j5] [j4] [c35] [c34] [c32] [i26] [i25] [i23] [i21] [j3] [c31] [c30] [c29] [c28] [c27] [c26] [i20] [i19] [i18] [i17] [i16] [i15] [i14] [j2] [c25] [c24] [c23] [c22] [c21] [c20] [i13] [i11] [j1] [c19] [c18] [c17] [c16] [c15] [i10] [i9] [i8] [i7] [i6] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [i5] [i4] [i3] [i2] [c6] [c4] [i1]
Sanjit A. Seshia
aka: Sanjit Seshia
aka: Sanjit Seshia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
