Data-Driven Verification and Learning Under Uncertainty

Projektinformationen

DEUCE

ID Finanzhilfevereinbarung: 101077178

DOI

10.3030/101077178

EK-Unterschriftsdatum 6 Dezember 2022

Startdatum 1 Januar 2023

Enddatum 31 Dezember 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 500 000,00

EU-Beitrag

€ 1 500 000,00

Koordiniert durch

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (4)

Decision-making under uncertainty: beyond probabilities

Autoren: Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, Ausgabe 25, 2023, ISSN 1433-2779
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S10009-023-00704-3

Strong Simple Policies for POMDPs

Autoren: Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, Ausgabe 26, 2024, ISSN 1433-2779
Herausgeber: 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

Autoren: Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 76, 2023, ISSN 1076-9757
Herausgeber: AI Access Foundation
DOI: 10.1613/JAIR.1.14253

Parameter synthesis for Markov models: covering the parameter space

Autoren: Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Veröffentlicht in: Formal Methods in System Design, Ausgabe 62, 2024, ISSN 0925-9856
Herausgeber: 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

Autoren: Merlijn Krale, Thiago D. Simão, Nils Jansen
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, Ausgabe 33, 2023, ISSN 2334-0843
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/ICAPS.V33I1.27197

Factored Online Planning in Many-Agent POMDPs

Autoren: Maris F.L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I16.29689

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Autoren: Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Veröffentlicht in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Herausgeber: 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

Autoren: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Veröffentlicht in: 2024 European Control Conference (ECC), 2024
Herausgeber: IEEE
DOI: 10.23919/ECC64448.2024.10590865

Reinforcement Learning by Guided Safe Exploration

Autoren: Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Herausgeber: IOS Press
DOI: 10.3233/FAIA230598

Approximate Dec-POMDP Solving Using Multi-Agent A*

Autoren: Wietze Koops, Sebastian Junges, Nils Jansen
Veröffentlicht in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/745

Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation

Autoren: Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
Veröffentlicht in: The Eleventh International Conference on Learning Representations, {ICLR} 2023, 2023
Herausgeber: OpenReview.net

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

Autoren: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 37, 2023, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26718

Risk-aware Curriculum Generation for Heavy-tailed Task Distributions

Autoren: Koprulu, C.; Simão, T.D.; Jansen, N.; Topcu, U.
Veröffentlicht in: Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, 2023
Herausgeber: Proceedings of Machine Learning Research

Safe Reinforcement Learning via Shielding under Partial Observability

Autoren: Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 37, 2023, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26723

CTMCs with Imprecisely Timed Observations

Autoren: Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, Nils Jansen
Veröffentlicht in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57249-4_13

Robust Active Measuring under Model Uncertainty

Autoren: Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I19.30122

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Autoren: Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2023/490

Safe Policy Improvement for POMDPs via Finite-State Controllers

Autoren: Thiago D. Simão, Marnix Suilen, Nils Jansen
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 37, 2023, ISSN 2374-3468
Herausgeber: 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

Autoren: Christoph Schmidl, Thiago Simão, Nils Jansen
Veröffentlicht in: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Herausgeber: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0012473600003636

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

Autoren: Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Veröffentlicht in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/740

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

Autoren: Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Herausgeber: 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

Autoren: Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
Veröffentlicht in: Lecture Notes in Computer Science, Principles of Verification: Cycling the Probabilistic Landscape, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75778-5_7