Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Synthesising Game Solving Techniques

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

Smaller Progress Measures and Separating Automata for Parity Games (odnośnik otworzy się w nowym oknie)

Autorzy: Daniele Dell'Erba; Sven Schewe
Opublikowane w: Smaller progress measures and separating automata for parity games, Numer 4, 2022, ISSN 2624-9898
Wydawca: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

An Objective Improvement Approach to Solving Discounted Payoff Games

Autorzy: D. Dell’Erba, A. Dumas, and S. Schewe
Opublikowane w: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Wydawca: Open Publishing Association

From Quasi-Domionions to Progress Measures

Autorzy: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Opublikowane w: Lecture Note Series, 2023
Wydawca: World Scientific Publishing Company

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0