Data-Driven Verification and Learning Under Uncertainty

Informations projet

DEUCE

N° de convention de subvention: 101077178

DOI

10.3030/101077178

Date de signature de la CE 6 Decembre 2022

Date de début 1 Janvier 2023

Date de fin 31 Decembre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 500 000,00

Contribution de l’UE

€ 1 500 000,00

Coordonné par

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (4)

Decision-making under uncertainty: beyond probabilities

Auteurs: Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 25, 2023, ISSN 1433-2779
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10009-023-00704-3

Strong Simple Policies for POMDPs

Auteurs: Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 26, 2024, ISSN 1433-2779
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10009-024-00747-0

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

Auteurs: Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
Publié dans: Journal of Artificial Intelligence Research, Numéro 76, 2023, ISSN 1076-9757
Éditeur: AI Access Foundation
DOI: 10.1613/JAIR.1.14253

Parameter synthesis for Markov models: covering the parameter space

Auteurs: Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Publié dans: Formal Methods in System Design, Numéro 62, 2024, ISSN 0925-9856
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10703-023-00442-X

Conference proceedings (17)

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

Auteurs: Merlijn Krale, Thiago D. Simão, Nils Jansen
Publié dans: Proceedings of the International Conference on Automated Planning and Scheduling, Numéro 33, 2023, ISSN 2334-0843
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/ICAPS.V33I1.27197

Factored Online Planning in Many-Agent POMDPs

Auteurs: Maris F.L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 38, 2024, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I16.29689

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Auteurs: Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Publié dans: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-37709-9_4

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

Auteurs: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Publié dans: 2024 European Control Conference (ECC), 2024
Éditeur: IEEE
DOI: 10.23919/ECC64448.2024.10590865

Reinforcement Learning by Guided Safe Exploration

Auteurs: Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Éditeur: IOS Press
DOI: 10.3233/FAIA230598

Approximate Dec-POMDP Solving Using Multi-Agent A*

Auteurs: Wietze Koops, Sebastian Junges, Nils Jansen
Publié dans: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/745

Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation

Auteurs: Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
Publié dans: The Eleventh International Conference on Learning Representations, {ICLR} 2023, 2023
Éditeur: OpenReview.net

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

Auteurs: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 37, 2023, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26718

Risk-aware Curriculum Generation for Heavy-tailed Task Distributions

Auteurs: Koprulu, C.; Simão, T.D.; Jansen, N.; Topcu, U.
Publié dans: Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, 2023
Éditeur: Proceedings of Machine Learning Research

Safe Reinforcement Learning via Shielding under Partial Observability

Auteurs: Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 37, 2023, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26723

CTMCs with Imprecisely Timed Observations

Auteurs: Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, Nils Jansen
Publié dans: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57249-4_13

Robust Active Measuring under Model Uncertainty

Auteurs: Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 38, 2024, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I19.30122

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Auteurs: Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
Publié dans: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2023/490

Safe Policy Improvement for POMDPs via Finite-State Controllers

Auteurs: Thiago D. Simão, Marnix Suilen, Nils Jansen
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 37, 2023, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26763

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

Auteurs: Christoph Schmidl, Thiago Simão, Nils Jansen
Publié dans: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Éditeur: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0012473600003636

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

Auteurs: Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Publié dans: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/740

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

Auteurs: Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
Publié dans: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2023/600

Book chapters (1)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Auteurs: Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
Publié dans: Lecture Notes in Computer Science, Principles of Verification: Cycling the Probabilistic Landscape, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75778-5_7