Sebastian Junges
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
17
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. | Linus Heck, Filip Mack, Milan Ceska, Sebastian Junges |
| 2026 | CAV | Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families. | Milan Ceska, Sebastian Junges, Luko van der Maas, Filip Mack, Tim Quatmann |
| 2026 | CAV | Shields to Guarantee Probabilistic Safety in MDPs. | Linus Heck, Filip Mack, Roman Andriushchenko, Milan Ceska, Sebastian Junges |
| 2026 | FM | Error-Awareness Accelerates Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2026 | FM | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2025 | ATVA | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. | Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2025 | ATVA | Learning Verified Monitors for Hidden Markov Models. | Luko van der Maas, Sebastian Junges |
| 2025 | CAV | Small Decision Trees for MDPs with Deductive Synthesis. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2025 | CAV | Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. | Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen |
| 2025 | CAV | Efficient Probabilistic Model Checking for Relational Reachability. | Lina Gerlach, Tobias Winkler, Erika brahm, Borzoo Bonakdarpour, Sebastian Junges |
| 2025 | IJCAI | Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. | Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen |
| 2025 | UAI | Symbiotic Local Search for Small Decision Tree Policies in MDPs. | Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretnsk, Filip Mack |
| 2024 | AAAI | Factored Online Planning in Many-Agent POMDPs. | Maris F. L. Galesloot, Thiago D. Simo, Sebastian Junges, Nils Jansen |
| 2024 | ATVA | Policies Grow on Trees: Model Checking Families of MDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2024 | CAV | Compositional Value Iteration with Pareto Caching. | Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo |
| 2024 | CONCUR | A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. | Marnix Suilen, Marck van der Vegt, Sebastian Junges |
| 2024 | FM | State Matching and Multiple References in Adaptive Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2024 | IJCAI | Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. | Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen |
| 2024 | IJCAI | Approximate Dec-POMDP Solving Using Multi-Agent A | Wietze Koops, Sebastian Junges, Nils Jansen |
| 2024 | IFM | Active Learning of Runtime Monitors Under Uncertainty. | Sebastian Junges, Sanjit A. Seshia, Hazem Torfah |
| 2024 | TACAS | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2024 | TACAS | Small Test Suites for Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2024 | TACAS | Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. | Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges |
| 2023 | AAAI | Safe Reinforcement Learning via Shielding under Partial Observability. | Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu |
| 2023 | CAV | Search and Explore: Symbiotic Policy Synthesis in POMDPs. | Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack |
| 2023 | CAV | Efficient Sensitivity Analysis for Parametric Robust Markov Chains. | Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen |
| 2023 | IJCAI | Recursive Small-Step Multi-Agent A* for Dec-POMDPs. | Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simo |
| 2023 | TACAS | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2023 | TACAS | A Practitioner's Guide to MDP Model Checking Algorithms. | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger |
| 2023 | TACAS | Robust Almost-Sure Reachability in Multi-Environment MDPs. | Marck van der Vegt, Nils Jansen, Sebastian Junges |
| 2022 | ATVA | Learning Monitorable Operational Design Domains for Assured Autonomy. | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2022 | CAV | Sampling-Based Verification of CTMCs with Uncertain Rates. | Thom S. Badings, Nils Jansen, Sebastian Junges, Marille Stoelinga, Matthias Volk |
| 2022 | CAV | Abstraction-Refinement for Hierarchical Probabilistic Models. | Sebastian Junges, Matthijs T. J. Spaan |
| 2022 | UAI | Inductive synthesis of finite-state controllers for POMDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |
| 2022 | SETTA | COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. | Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez |
| 2022 | VMCAI | Gradient-Descent for Randomized Controllers Under Partial Observability. | Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |
| 2021 | AAAI | Robust Finite-State Controllers for Uncertain POMDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu |
| 2021 | CAV | PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinsk |
| 2021 | CAV | Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck |
| 2021 | CAV | Enforcing Almost-Sure Reachability in POMDPs. | Sebastian Junges, Nils Jansen, Sanjit A. Seshia |
| 2021 | CAV | Runtime Monitors for Markov Decision Processes. | Sebastian Junges, Hazem Torfah, Sanjit A. Seshia |
| 2021 | RV | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | TACAS | Inductive Synthesis for Probabilistic Programs Reaches New Horizons. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |
| 2021 | TACAS | Finding Provably Optimal Markov Chains. | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2020 | ATVA | Verification of Indefinite-Horizon POMDPs. | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | CAV | PrIC3: Property Directed Reachability for MDPs. | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2020 | CONCUR | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). | Nils Jansen, Bettina Knighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2020 | TACAS | Scenario-Based Verification of Uncertain MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2019 | ATVA | Are Parametric Markov Chains Monotonic? | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | CONCUR | On the Complexity of Reachability in Parametric Markov Decision Processes. | Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen |
| 2019 | FM | Counterexample-Driven Synthesis for Probabilistic Program Sketches. | Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | TACAS | Shepherding Hordes of Markov Chains. | Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2018 | ATVA | Synthesis in pMDPs: A Tale of 1001 Parameters. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2018 | TACAS | Multi-cost Bounded Reachability in MDP. | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2017 | CAV | A Storm is Coming: A Modern Probabilistic Model Checker. | Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk |
| 2017 | CAV | Markov Automata with Multiple Objectives. | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen |
| 2017 | SAFECOMP | Model-Based Safety Analysis for Vehicle Guidance Systems. | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2017 | TACAS | Sequential Convex Programming for the Efficient Verification of Parametric MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu |
| 2016 | ATVA | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | DSN | Uncovering Dynamic Fault Trees. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marille Stoelinga |
| 2016 | SAFECOMP | Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | SRDS | Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. | Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross |
| 2016 | TACAS | Safety-Constrained Reinforcement Learning for MDPs. | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | SAT | SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika brahm |
| 2015 | SETTA | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2014 | ISoLA | A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. | Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll |
| 2012 | SAT | SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). | Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika brahm |