Sebastian Junges

ORCID

Publication Activity (10 Years)

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

Top Venues

Publications

Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. CoRR (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)
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)
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)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR (2019)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2019)
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR (2018)
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe
Model Checking for Safe Navigation Among Humans. QEST (2018)
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)
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
Shielded Decision-Making in MDPs. CoRR (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
The Partially Observable Games We Play for Cyber Deception. CoRR (2018)
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)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA (2018)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Reachability in MDP. TACAS (2) (2018)
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Informatics 14 (1) (2018)
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)
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) (2017)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
A storm is Coming: A Modern Probabilistic Model Checker. CoRR (2017)
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 (2017)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov Automata with Multiple Objectives. CAV (1) (2017)
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)
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)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Junges