Sebastian Junges

CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Small Test Suites for Active Automata Learning.

[BibT_eX]

[DOI]

Loes Kruger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

CTMCs with Imprecisely Timed Observations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Approximate Dec-POMDP Solving Using Multi-Agent A<sup>*</sup>.

[BibT_eX]

[DOI]

Wietze Koops

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

State Matching and Multiple References in Adaptive Active Automata Learning.

[BibT_eX]

[DOI]

Loes Kruger

Proceedings of the Formal Methods - 26th International Symposium, 2024

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.

[BibT_eX]

[DOI]

Marnix Suilen

Marck van der Vegt

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Compositional Value Iteration with Pareto Caching.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Relating Apartness and Branching Bisimulation Games.

[BibT_eX]

[DOI]

Harsh Beohar

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

Factored Online Planning in Many-Agent POMDPs.

[BibT_eX]

[DOI]

Maris F. L. Galesloot

Thiago D. Simão

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, May, 2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2023

Learning Formal Specifications from Membership and Preference Queries.

[BibT_eX]

[DOI]

Ameesh Shah

CoRR, 2023

Robust Almost-Sure Reachability in Multi-Environment MDPs.

[BibT_eX]

[DOI]

Marck van der Vegt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

A Practitioner's Guide to MDP Model Checking Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.

[BibT_eX]

[DOI]

Kevin Batz

Mingshuai Chen

Benjamin Lucien Kaminski

Christoph Matheja

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Recursive Small-Step Multi-Agent A* for Dec-POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Search and Explore: Symbiotic Policy Synthesis in POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Safe Reinforcement Learning via Shielding under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'.

[BibT_eX]

[DOI]

Dataset, June, 2022

Finding Provably Optimal Markov Chains (Artifact).

[BibT_eX]

[DOI]

Jip Spel

Dataset, May, 2022

Markov automata with multiple objectives.

[BibT_eX]

[DOI]

Tim Quatmann

Alberto L. Sangiovanni-Vincentelli

Formal Methods Syst. Des., February, 2022

Convex Optimization for Parameter Synthesis in MDPs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

The probabilistic model checker Storm.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Scenario-based verification of uncertain parametric MDPs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Safe Reinforcement Learning via Shielding for POMDPs.

[BibT_eX]

[DOI]

CoRR, 2022

Gradient-Descent for Randomized Controllers Under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Inductive synthesis of finite-state controllers for POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Abstraction-Refinement for Hierarchical Probabilistic Models.

[BibT_eX]

[DOI]

Matthijs T. J. Spaan

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Learning Language Intersections.

[BibT_eX]

[DOI]

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

Parameter Synthesis in Markov Models: A Gentle Survey.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

Learning Monitorable Operational Design Domains for Assured Autonomy.

[BibT_eX]

[DOI]

Carol Xie

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).

[BibT_eX]

[DOI]

Dataset, November, 2021

Experiments for 'Runtime Monitoring for Markov Decision Processes'.

[BibT_eX]

[DOI]

Dataset, April, 2021

Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2021

Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2021

Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'.

[BibT_eX]

[DOI]

Steven Holtzen

Todd D. Millstein

Guy Van den Broeck

Dataset, April, 2021

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

The complexity of reachability in parametric Markov decision processes.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2021

Counterexample-guided inductive synthesis for probabilistic systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Runtime Monitoring for Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2021

Finding Provably Optimal Markov Chains.

[BibT_eX]

[DOI]

Jip Spel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Inductive Synthesis for Probabilistic Programs Reaches New Horizons.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

Entropy-Guided Control Improvisation.

[BibT_eX]

[DOI]

Daniel J. Fremont

Sanjit Seshia

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Runtime Monitors for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Enforcing Almost-Sure Reachability in POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.

[BibT_eX]

[DOI]

Steven Holtzen

Todd D. Millstein

Guy Van den Broeck

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Robust Finite-State Controllers for Uncertain POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Synthese im Kontext Parametrischer Markow-Modelle.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

Parameter synthesis in Markov models.

[BibT_eX]

[DOI]

PhD thesis, 2020

Multi-cost Bounded Tradeoff Analysis in MDP.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Scenario-Based Verification of Uncertain MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

PrIC3: Property Directed Reachability for MDPs.

[BibT_eX]

[DOI]

Kevin Batz

Benjamin Lucien Kaminski

Christoph Matheja

Philipp Schröer

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Indefinite-Horizon POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Safety analysis for vehicle guidance systems with dynamic fault trees.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2019

Parameter Synthesis for Markov Models.

[BibT_eX]

[DOI]

CoRR, 2019

Shepherding Hordes of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Correct-by-construction policies for POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Counterexample-Driven Synthesis for Probabilistic Program Sketches.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

Are Parametric Markov Chains Monotonic?

[BibT_eX]

[DOI]

Jip Spel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Fast Dynamic Fault Tree Analysis by Model Checking Techniques.

[BibT_eX]

[DOI]

Matthias Volk

IEEE Trans. Ind. Informatics, 2018

The Partially Observable Games We Play for Cyber Deception.

[BibT_eX]

[DOI]

CoRR, 2018

Shielded Decision-Making in MDPs.

[BibT_eX]

[DOI]

CoRR, 2018

Finite-State Controllers of POMDPs using Parameter Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

Multi-cost Bounded Reachability in MDP.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Model Checking for Safe Navigation Among Humans.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.

[BibT_eX]

[DOI]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Synthesis in pMDPs: A Tale of 1001 Parameters.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Fault trees on a diet: automated reduction by graph rewriting.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.

[BibT_eX]

[DOI]

CoRR, 2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

JANI: Quantitative Model and Tool Interaction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Model-Based Safety Analysis for Vehicle Guidance Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

Motion planning under partial observability using game-based abstraction.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A Storm is Coming: A Modern Probabilistic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.

[BibT_eX]

[DOI]

CoRR, 2016

The Probabilistic Model Checker Storm (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2016

Advancing Dynamic Fault Tree Analysis.

[BibT_eX]

[DOI]

Matthias Volk

CoRR, 2016

Safety-Constrained Reinforcement Learning for MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.

[BibT_eX]

[DOI]

Matthias Volk