Nils Jansen

CoRR, 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

A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling.

[BibT_eX]

[DOI]

Christoph Schmidl

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2024

Robust Active Measuring under Model Uncertainty.

[BibT_eX]

[DOI]

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

Factored Online Planning in Many-Agent POMDPs.

[BibT_eX]

[DOI]

Maris F. L. Galesloot

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

2023

Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492).

[BibT_eX]

[DOI]

Ellen Enkel

Mohammad Reza Mousavi

Kristin Yvonne Rozier

Dagstuhl Reports, December, 2023

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).

[BibT_eX]

[DOI]

Gerrit Nolte

Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

Decision-making under uncertainty: beyond probabilities.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., June, 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

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Welcome Remarks from AISoLA 2023/Track C2 Chairs.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Risk-aware curriculum generation for heavy-tailed task distributions.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 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

More for Less: Safe Policy Improvement with Stronger Performance Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Intelligent and Dependable Decision-Making Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Reinforcement Learning by Guided Safe Exploration.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

[BibT_eX]

[DOI]

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

Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring.

[BibT_eX]

[DOI]

Merlijn Krale

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Safe Policy Improvement for POMDPs via Finite-State Controllers.

[BibT_eX]

[DOI]

Marnix Suilen

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

Safe Reinforcement Learning via Shielding under Partial Observability.

[BibT_eX]

[DOI]

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

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.

[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

Convex Optimization for Parameter Synthesis in MDPs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Scenario-based verification of uncertain parametric MDPs.

[BibT_eX]

[DOI]

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

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

[BibT_eX]

[DOI]

CoRR, 2022

A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Zaharah Allah Bukhsh

Hajo Molegraaf

CoRR, 2022

Safe Reinforcement Learning via Shielding for POMDPs.

[BibT_eX]

[DOI]

CoRR, 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

Robust Anytime Learning of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

[BibT_eX]

[DOI]

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

Parameter Synthesis in Markov Models: A Gentle Survey.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the Principles of Systems Design, 2022

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

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

[BibT_eX]

[DOI]

Sanjit A. Seshia

Dataset, April, 2021

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

[BibT_eX]

[DOI]

Sanjit A. Seshia

Dataset, April, 2021

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Synthesis of Provably Correct Autonomy Protocols for Shared Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Control Theory Meets POMDPs: A Hybrid Systems Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Damage detection using in-domain and cross-domain transfer learning.

[BibT_eX]

[DOI]

Zaharah Allah Bukhsh

Aaqib Saeed

Neural Comput. Appl., 2021

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2021

Formalizing and guaranteeing human-robot interaction.

[BibT_eX]

[DOI]

Commun. ACM, 2021

Safe Policies for Factored Partially Observable Stochastic Games.

[BibT_eX]

[DOI]

Sudarshanan Bharadwaj

Matthijs T. J. Spaan

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

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Enforcing Almost-Sure Reachability in POMDPs.

[BibT_eX]

[DOI]

Sanjit A. Seshia

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

AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training.

[BibT_eX]

[DOI]

Matthijs T. J. Spaan

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Adaptive Shielding under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

Robust Finite-State Controllers for Uncertain POMDPs.

[BibT_eX]

[DOI]

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

2020

Adversarial Patch Camouflage against Aerial Detection.

[BibT_eX]

[DOI]

Ajaya Adhikari

Richard den Hollander

CoRR, 2020

Scenario-Based Verification of Uncertain MDPs.

[BibT_eX]

[DOI]

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

Strengthening Deterministic Policies for POMDPs.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Neural Simplex Architecture.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Shield Synthesis for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).

[BibT_eX]

[DOI]

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

Robustness Verification for Classifier Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

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

Structured Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.

[BibT_eX]

[DOI]

Alexandru Constantin Serban

Ralf Wimmer

Bernd Becker

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 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

2018

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121).

[BibT_eX]

[DOI]

Dagstuhl Reports, 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

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

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

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

Motion planning under partial observability using game-based abstraction.

[BibT_eX]

[DOI]

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

Synthesis of shared control protocols with provable safety and performance guarantees.

[BibT_eX]

[DOI]

Murat Cubuktepe

Proceedings of the 2017 American Control Conference, 2017

Synthesis and Verification of Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

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

[BibT_eX]

[DOI]

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

Parameter Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Parameter Synthesis for Markov Models: Faster Than Ever.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

Bounded Model Checking for Probabilistic Programs.

[BibT_eX]

[DOI]

Christian Dehnert

Benjamin Lucien Kaminski

Joost-Pieter Katoen

Lukas Westhofen

Proceedings of the Automated Technology for Verification and Analysis, 2016

Probabilistic Verification for Cognitive Models.

[BibT_eX]

[DOI]

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

Counterexamples in probabilistic verification.

[BibT_eX]

[DOI]

PhD thesis, 2015

Conditioning in Probabilistic Programming.

[BibT_eX]

[DOI]

Benjamin Lucien Kaminski

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

High-level Counterexamples for Probabilistic Automata

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

A Greedy Approach for the Efficient Repair of Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Counterexamples for Expected Rewards.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Understanding Probabilistic Programs.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Friedrich Gretz

Benjamin Lucien Kaminski

Federico Olmedo

Proceedings of the Correct System Design, 2015

2014

Minimal counterexamples for linear-time probabilistic verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Symbolic counterexample generation for large discrete-time Markov chains.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Executable Software Models, 2014

Accelerating Parametric Probabilistic Verification.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Fast Debugging of PRISM Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Regular Model Checking Using Solver Technologies and Automata Learning.

[BibT_eX]

[DOI]

Daniel Neider