Sebastian Junges

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 135

Top Venues

Publications

Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. CoRR (2024)
Jurriaan Rot, Sebastian Junges, Harsh Beohar
Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. CoRR (2024)
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR (2024)
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. CoRR (2024)
Wietze Koops, Sebastian Junges, Nils Jansen
Approximate Dec-POMDP Solving Using Multi-Agent A. CoRR (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
State Matching and Multiple References in Adaptive Active Automata Learning. CoRR (2024)
Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR (2024)
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Factored Online Planning in Many-Agent POMDPs. AAAI (2024)
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) (2024)
Marnix Suilen, Marck van der Vegt, Sebastian Junges
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CONCUR (2024)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
Policies Grow on Trees: Model Checking Families of MDPs. CoRR (2024)
Marnix Suilen, Marck van der Vegt, Sebastian Junges
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CoRR (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CAV (3) (2024)
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 (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CoRR (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. TACAS (2) (2024)
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)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. TACAS (2) (2024)
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI (2023)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) (2023)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR (2023)
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Factored Online Planning in Many-Agent POMDPs. CoRR (2023)
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) (2023)
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
Learning Formal Specifications from Membership and Preference Queries. CoRR (2023)
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)
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)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) (2023)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) (2023)
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA (2022)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR (2022)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR (2022)
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) (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA (2022)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding for POMDPs. CoRR (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive synthesis of finite-state controllers for POMDPs. UAI (2022)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67 (12) (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) (2022)
Sebastian Junges, Matthijs T. J. Spaan
Abstraction-Refinement for Hierarchical Probabilistic Models. CAV (1) (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR (2022)
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)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov automata with multiple objectives. Formal Methods Syst. Des. 60 (1) (2022)
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Sebastian Junges, Jurriaan Rot
Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Sebastian Junges, Matthijs T. J. Spaan
Abstraction-Refinement for Hierarchical Probabilistic Models. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR (2022)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design (2022)
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)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR (2022)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) (2021)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. CoRR (2021)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR (2021)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33 (4-5) (2021)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR (2021)
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitors for Markov Decision Processes. CAV (2) (2021)
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)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Finding Provably Optimal Markov Chains. TACAS (1) (2021)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. AAAI (2021)
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 (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. CoRR (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitoring for Markov Decision Processes. CoRR (2021)
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 (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. Robotics: Science and Systems (2021)
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 (2021)
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) (2021)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR (2021)
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Verification of indefinite-horizon POMDPs. CoRR (2020)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64 (7) (2020)
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
The Probabilistic Model Checker Storm. CoRR (2020)
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Verification of Indefinite-Horizon POMDPs. ATVA (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CAV (2) (2020)
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2020)
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CoRR (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain MDPs. TACAS (1) (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. CoRR (2020)
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 (2020)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CoRR (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
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 (2019)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM (2019)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Shepherding Hordes of Markov Chains. TACAS (2) (2019)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Are Parametric Markov Chains Monotonic? ATVA (2019)
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)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Shepherding Hordes of Markov Chains. CoRR (2019)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter Synthesis for Markov Models. CoRR (2019)
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR (2019)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Are Parametric Markov Chains Monotonic? CoRR (2019)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR (2019)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain MDPs. CoRR (2019)

Sebastian Junges.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Junges