Data-Driven Verification and Learning Under Uncertainty

Informacje na temat projektu

DEUCE

Identyfikator umowy o grant: 101077178

DOI

10.3030/101077178

Data podpisania przez KE 6 Grudnia 2022

Data rozpoczęcia 1 Stycznia 2023

Data zakończenia 31 Grudnia 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 500 000,00

Wkład UE

€ 1 500 000,00

Koordynowany przez

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (4)

Decision-making under uncertainty: beyond probabilities

Autorzy: Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 25, 2023, ISSN 1433-2779
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S10009-023-00704-3

Strong Simple Policies for POMDPs

Autorzy: Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 26, 2024, ISSN 1433-2779
Wydawca: 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

Autorzy: Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
Opublikowane w: Journal of Artificial Intelligence Research, Numer 76, 2023, ISSN 1076-9757
Wydawca: AI Access Foundation
DOI: 10.1613/JAIR.1.14253

Parameter synthesis for Markov models: covering the parameter space

Autorzy: Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Opublikowane w: Formal Methods in System Design, Numer 62, 2024, ISSN 0925-9856
Wydawca: 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

Autorzy: Merlijn Krale, Thiago D. Simão, Nils Jansen
Opublikowane w: Proceedings of the International Conference on Automated Planning and Scheduling, Numer 33, 2023, ISSN 2334-0843
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/ICAPS.V33I1.27197

Factored Online Planning in Many-Agent POMDPs

Autorzy: Maris F.L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I16.29689

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Autorzy: Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Opublikowane w: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Wydawca: 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

Autorzy: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Opublikowane w: 2024 European Control Conference (ECC), 2024
Wydawca: IEEE
DOI: 10.23919/ECC64448.2024.10590865

Reinforcement Learning by Guided Safe Exploration

Autorzy: Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
Opublikowane w: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Wydawca: IOS Press
DOI: 10.3233/FAIA230598

Approximate Dec-POMDP Solving Using Multi-Agent A*

Autorzy: Wietze Koops, Sebastian Junges, Nils Jansen
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/745

Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation

Autorzy: Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
Opublikowane w: The Eleventh International Conference on Learning Representations, {ICLR} 2023, 2023
Wydawca: OpenReview.net

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

Autorzy: Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 37, 2023, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26718

Risk-aware Curriculum Generation for Heavy-tailed Task Distributions

Autorzy: Koprulu, C.; Simão, T.D.; Jansen, N.; Topcu, U.
Opublikowane w: Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, 2023
Wydawca: Proceedings of Machine Learning Research

Safe Reinforcement Learning via Shielding under Partial Observability

Autorzy: Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 37, 2023, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V37I12.26723

CTMCs with Imprecisely Timed Observations

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

Robust Active Measuring under Model Uncertainty

Autorzy: Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V38I19.30122

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

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

Safe Policy Improvement for POMDPs via Finite-State Controllers

Autorzy: Thiago D. Simão, Marnix Suilen, Nils Jansen
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 37, 2023, ISSN 2374-3468
Wydawca: 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

Autorzy: Christoph Schmidl, Thiago Simão, Nils Jansen
Opublikowane w: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Wydawca: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0012473600003636

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

Autorzy: Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/740

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

Autorzy: Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
Opublikowane w: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Wydawca: 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

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