Sebastian Junges

184 papers A* 8A 8B 18Misc 2Journal 91Unranked 50
YearRankTypeTitle / Venue / Authors
2026 A* conf
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
AAAI
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2026 J jnl
Error-awareness Accelerates Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2026 J jnl
Incremental Fingerprinting in an Open World.
CoRR
Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot
2026 J jnl
Learning Robust Markov Models for Safe Runtime Monitoring.
CoRR
Antonina Skurka, Luko van der Maas, Sebastian Junges, Hazem Torfah
2026 J jnl
Probabilistic Model Checking Taken by Storm.
CoRR
Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2026 J jnl
Search and explore: symbiotic policy synthesis in POMDPs.
Formal Methods Syst. Des.
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2026 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
TACAS (1)
Sebastian Junges, Guy Katz
2026 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
TACAS (2)
Sebastian Junges, Guy Katz
2025 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
Proc. ACM Program. Lang.
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2025 J jnl
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.
J. Artif. Intell. Res.
Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen
2025 — conf
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
RP
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
CoRR
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
CoRR
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2025 J jnl
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version).
CoRR
Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025 — conf
Efficient Probabilistic Model Checking for Relational Reachability.
CAV (1)
Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025 B conf
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
ATVA
Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025 J jnl
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
CoRR
Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025 — conf
Learning Formal Specifications from Membership and Preference Queries.
NeuS
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
2025 B conf
Learning Verified Monitors for Hidden Markov Models.
ATVA
Luko van der Maas, Sebastian Junges
2025 J jnl
Learning Verified Monitors for Hidden Markov Models.
CoRR
Luko van der Maas, Sebastian Junges
2025 — conf
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.
CAV (2)
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2025 A* conf
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
IJCAI
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2025 J jnl
Shields for Safe Reinforcement Learning.
Commun. ACM
Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2025 — conf
Small Decision Trees for MDPs with Deductive Synthesis.
CAV (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 J jnl
Small Decision Trees for MDPs with Deductive Synthesis.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 A conf
Symbiotic Local Search for Small Decision Tree Policies in MDPs.
UAI
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák
2025 A conf
Tighter Value-Function Approximations for POMDPs.
AAMAS
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2025 J jnl
Tighter Value-Function Approximations for POMDPs.
CoRR
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2025 J jnl
rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
CoRR
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2024 B conf
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.
CONCUR
Marnix Suilen, Marck van der Vegt, Sebastian Junges
2024 J jnl
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.
CoRR
Marnix Suilen, Marck van der Vegt, Sebastian Junges
2024 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
CoRR
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2024 B conf
Active Learning of Runtime Monitors Under Uncertainty.
IFM
Sebastian Junges, Sanjit A. Seshia, Hazem Torfah
2024 A* conf
Approximate Dec-POMDP Solving Using Multi-Agent A
IJCAI
Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Approximate Dec-POMDP Solving Using Multi-Agent A.
CoRR
Wietze Koops, Sebastian Junges, Nils Jansen
2024 — conf
CTMCs with Imprecisely Timed Observations.
TACAS (2)
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 J jnl
CTMCs with Imprecisely Timed Observations.
CoRR
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 — conf
Compositional Value Iteration with Pareto Caching.
CAV (3)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 J jnl
Compositional Value Iteration with Pareto Caching.
CoRR
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 A* conf
Factored Online Planning in Many-Agent POMDPs.
AAAI
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
2024 A* conf
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
IJCAI
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
CoRR
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
CoRR
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des.
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024 — conf
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
TACAS (2)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 J jnl
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 — conf
Policies Grow on Trees: Model Checking Families of MDPs.
ATVA (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Policies Grow on Trees: Model Checking Families of MDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification (1)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification (2)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification (3)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — conf
Relating Apartness and Branching Bisimulation Games.
Logics and Type Systems in Theory and Practice
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2024 J jnl
Relating Apartness and Branching Bisimulation Games.
CoRR
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2024 — conf
Riding the Storm in a Probabilistic Model Checking Landscape.
Principles of Verification (2)
Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk
2024 — conf
Small Test Suites for Active Automata Learning.
TACAS (2)
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 J jnl
Small Test Suites for Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 — conf
State Matching and Multiple References in Adaptive Active Automata Learning.
FM (1)
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 J jnl
State Matching and Multiple References in Adaptive Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
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
2023 — conf
A Practitioner's Guide to MDP Model Checking Algorithms.
TACAS (1)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
A Practitioner's Guide to MDP Model Checking Algorithms.
CoRR
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 — conf
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CAV (3)
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CoRR
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Factored Online Planning in Many-Agent POMDPs.
CoRR
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
2023 J jnl
Learning Formal Specifications from Membership and Preference Queries.
CoRR
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
2023 — conf
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
TACAS (2)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023 A* conf
Recursive Small-Step Multi-Agent A* for Dec-POMDPs.
IJCAI
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
2023 — conf
Robust Almost-Sure Reachability in Multi-Environment MDPs.
TACAS (1)
Marck van der Vegt, Nils Jansen, Sebastian Junges
2023 J jnl
Robust Almost-Sure Reachability in Multi-Environment MDPs.
CoRR
Marck van der Vegt, Nils Jansen, Sebastian Junges
2023 A* conf
Safe Reinforcement Learning via Shielding under Partial Observability.
AAAI
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2023 J jnl
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241).
Dagstuhl Reports
Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, Bahare Salmani
2023 — conf
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 J jnl
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
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
2022 — conf
Abstraction-Refinement for Hierarchical Probabilistic Models.
CAV (1)
Sebastian Junges, Matthijs T. J. Spaan
2022 J jnl
Abstraction-Refinement for Hierarchical Probabilistic Models.
CoRR
Sebastian Junges, Matthijs T. J. Spaan
2022 Misc conf
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
SETTA
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
CoRR
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
IEEE Trans. Autom. Control.
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 — conf
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
ICCPS
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 B conf
Gradient-Descent for Randomized Controllers Under Partial Observability.
VMCAI
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2022 J jnl
Inductive Synthesis of Finite-State Controllers for POMDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022 A conf
Inductive synthesis of finite-state controllers for POMDPs.
UAI
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022 — conf
Learning Language Intersections.
A Journey from Process Algebra via Timed Automata to Model Learning
Sebastian Junges, Jurriaan Rot
2022 B conf
Learning Monitorable Operational Design Domains for Assured Autonomy.
ATVA
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2022 J jnl
Markov automata with multiple objectives.
Formal Methods Syst. Des.
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2022 — conf
Parameter Synthesis in Markov Models: A Gentle Survey.
Principles of Systems Design
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
Parameter Synthesis in Markov Models: A Gentle Survey.
CoRR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
CoRR
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2022 — conf
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
ICCPS
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 J jnl
Safe Reinforcement Learning via Shielding for POMDPs.
CoRR
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2022 — conf
Sampling-Based Verification of CTMCs with Uncertain Rates.
CAV (2)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Sampling-Based Verification of CTMCs with Uncertain Rates.
CoRR
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Scenario-based verification of uncertain parametric MDPs.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 J jnl
The probabilistic model checker Storm.
Int. J. Softw. Tools Technol. Transf.
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2021 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 J jnl
Counterexample-guided inductive synthesis for probabilistic systems.
Formal Aspects Comput.
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
Enforcing Almost-Sure Reachability in POMDPs.
CAV (2)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
2021 — conf
Entropy-Guided Control Improvisation.
Robotics: Science and Systems
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021 J jnl
Entropy-Guided Control Improvisation.
CoRR
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021 — conf
Finding Provably Optimal Markov Chains.
TACAS (1)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2021 B conf
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.
RV
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021 J jnl
Gradient-Descent for Randomized Controllers under Partial Observability.
CoRR
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2021 — conf
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
TACAS (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 J jnl
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.
CAV (2)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021 J jnl
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.
CoRR
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021 J jnl
Model Repair Revamped: On the Automated Synthesis of Markov Chains.
CoRR
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.
CAV (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
2021 J jnl
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
CoRR
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021 A* conf
Robust Finite-State Controllers for Uncertain POMDPs.
AAAI
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2021 J jnl
Runtime Monitoring for Markov Decision Processes.
CoRR
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
2021 — conf
Runtime Monitors for Markov Decision Processes.
CAV (2)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
2021 J jnl
Scenario-Based Verification of Uncertain Parametric MDPs.
CoRR
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 J jnl
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.
IEEE Trans. Autom. Control.
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2021 J jnl
The complexity of reachability in parametric Markov decision processes.
J. Comput. Syst. Sci.
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2020 J jnl
Enforcing Almost-Sure Reachability in POMDPs.
CoRR
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
2020 J jnl
Multi-cost Bounded Tradeoff Analysis in MDP.
J. Autom. Reason.
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020 — —
Parameter synthesis in Markov models.
Sebastian Junges
2020 J jnl
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Inf. Comput.
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
2020 — conf
PrIC3: Property Directed Reachability for MDPs.
CAV (2)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 J jnl
PrIC3: Property Directed Reachability for MDPs.
CoRR
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 J jnl
Robust Finite-State Controllers for Uncertain POMDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020 B conf
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).
CONCUR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
2020 — conf
Scenario-Based Verification of Uncertain MDPs.
TACAS (1)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2020 — ch.
Synthese im Kontext Parametrischer Markow-Modelle.
Ausgezeichnete Informatikdissertationen
Sebastian Junges
2020 J jnl
The Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2020 J jnl
The Probabilistic Model Checker Storm.
CoRR
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2020 B conf
Verification of Indefinite-Horizon POMDPs.
ATVA
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020 J jnl
Verification of indefinite-horizon POMDPs.
CoRR
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2019 B conf
Are Parametric Markov Chains Monotonic?
ATVA
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Are Parametric Markov Chains Monotonic?
CoRR
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2019 — conf
Correct-by-construction policies for POMDPs.
SNR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019 B conf
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
FM
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
CoRR
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 — conf
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
From Reactive Systems to Cyber-Physical Systems
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 B conf
On the Complexity of Reachability in Parametric Markov Decision Processes.
CONCUR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019 J jnl
On the Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019 J jnl
Parameter Synthesis for Markov Models.
CoRR
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 J jnl
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees.
CoRR
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019 J jnl
Safety analysis for vehicle guidance systems with dynamic fault trees.
Reliab. Eng. Syst. Saf.
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019 J jnl
Scenario-Based Verification of Uncertain MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019 — conf
Shepherding Hordes of Markov Chains.
TACAS (2)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Shepherding Hordes of Markov Chains.
CoRR
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2018 — conf
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
MBMV
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018 J jnl
Fast Dynamic Fault Tree Analysis by Model Checking Techniques.
IEEE Trans. Ind. Informatics
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2018 A conf
Finite-State Controllers of POMDPs using Parameter Synthesis.
UAI
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018 — conf
Model Checking for Safe Navigation Among Humans.
QEST
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe
2018 — conf
Multi-cost Bounded Reachability in MDP.
TACAS (2)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2018 B conf
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.
Petri Nets
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018 J jnl
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs.
CoRR
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018 J jnl
Shielded Decision-Making in MDPs.
CoRR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
2018 B conf
Synthesis in pMDPs: A Tale of 1001 Parameters.
ATVA
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 J jnl
The Partially Observable Games We Play for Cyber Deception.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2017 — conf
A Storm is Coming: A Modern Probabilistic Model Checker.
CAV (2)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 J jnl
A storm is Coming: A Modern Probabilistic Model Checker.
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 J jnl
Fault trees on a diet: automated reduction by graph rewriting.
Formal Aspects Comput.
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2017 — conf
JANI: Quantitative Model and Tool Interaction.
TACAS (2)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017 — conf
Markov Automata with Multiple Objectives.
CAV (1)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017 J jnl
Markov Automata with Multiple Objectives.
CoRR
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017 B conf
Model-Based Safety Analysis for Vehicle Guidance Systems.
SAFECOMP
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2017 J jnl
Motion Planning under Partial Observability using Game-Based Abstraction.
CoRR
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Motion planning under partial observability using game-based abstraction.
CDC
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 J jnl
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.
CoRR
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
TACAS (2)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2016 B conf
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.
SAFECOMP
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Advancing Dynamic Fault Tree Analysis.
CoRR
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016 B conf
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks.
SRDS
Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross
2016 B conf
Parameter Synthesis for Markov Models: Faster Than Ever.
ATVA
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Parameter Synthesis for Markov Models: Faster Than Ever.
CoRR
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 — conf
Parameter Synthesis for Probabilistic Systems.
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 J jnl
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.
CoRR
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 — conf
Probabilistic Verification for Cognitive Models.
AAAI Fall Symposia
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 A conf
Safety-Constrained Reinforcement Learning for MDPs.
TACAS
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016 J jnl
The Probabilistic Model Checker Storm (Extended Abstract).
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2016 A conf
Uncovering Dynamic Fault Trees.
DSN
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
2015 Misc conf
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -.
SETTA
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2015 — conf
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015 A conf
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.
SAT
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám
2015 J jnl
Safety-Constrained Reinforcement Learning for MDPs.
CoRR
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2014 — conf
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.
ISoLA (2)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
2013 — conf
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.
CAI
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
2012 A conf
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).
SAT
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám