Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

2021/41/B/ST6/03691

Słowa kluczowe:

automat skończony General Game Playing problem kombinatoryczny słowo synchronizujące uczenie ze wzmocnieniem złożoność języka

Deskryptory:

  • ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
  • ST1_014: Matematyka dyskretna i kombinatoryka
  • ST6_007: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Marek Szykuła 

Liczba wykonawców projektu: 5

Konkurs: OPUS 21 - ogłoszony 2021-03-15

Przyznana kwota: 907 680 PLN

Rozpoczęcie projektu: 2022-03-01

Zakończenie projektu: 2027-02-28

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. Reset thresholds of transformation monoids
    Autorzy:
    Igor Rystsov, Marek Szykuła
    Czasopismo:
    Cybernetics and Systems Analysis (rok: 2024, tom: 60, strony: 189--197), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.48550/arXiv.2309.08321 - link do publikacji
  2. Proof Number Based Monte-Carlo Tree Search
    Autorzy:
    Jakub Kowalski, Elliot Doe, Mark H. M. Winands, Daniel Górski, Dennis J. N. J. Soemers
    Czasopismo:
    IEEE Transactions on Games (rok: 2024, tom: 17, strony: 1--10), Wydawca: IEEE
    Status:
    Opublikowana
    Doi:
    10.48550/arXiv.2303.09449 - link do publikacji
  1. Completely Reachable Automata: A Polynomial Algorithm and Quadratic Upper Bounds
    Autorzy:
    Robert Ferens, Marek Szykuła
    Konferencja:
    International Colloquium on Automata, Languages, and Programming (rok: 2023, tom: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), strony: 59:1-59:17), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 2023.07.10--2023.07.14
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.ICALP.2023.59 - link do publikacji
  2. Selective Population Protocols
    Autorzy:
    Adam Gańczorz, Leszek Gąsieniec, Tomasz Jurdziński, Jakub Kowalski, Grzegorz Stachowiak
    Konferencja:
    Stabilization, Safety, and Security of Distributed Systems (rok: 2024, tom: Stabilization, Safety, and Security of Distributed Systems 2024, strony: 225--239), Wydawca: Springer
    Data:
    konferencja 2024.10.20--2024.10.22
    Status:
    Opublikowana
    Doi:
    10.48550/arXiv.2305.08460 - link do publikacji
  3. Split Moves for Monte-Carlo Tree Search
    Autorzy:
    Jakub Kowalski, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Mark H. M. Winands
    Konferencja:
    Proceedings of the AAAI Conference on Artificial Intelligence (tom: 36th AAAI Conference on Artificial Intelligence, strony: 10247--10255), Wydawca: AAAI Press
    Data:
    konferencja 2022-02-22--2022-03-01
    Status:
    Opublikowana
    Doi:
    10.1609/aaai.v36i9.21265 - link do publikacji
  4. Introducing Tales of Tribute AI Competition
    Autorzy:
    Jakub Kowalski, Radosław Miernik, Katarzyna Polak, Dominik Budzki, Damian Kowalik
    Konferencja:
    2024 IEEE Conference on Games (CoG) (rok: 2024, tom: IEEE Conference on Games, strony: 1--8), Wydawca: IEEE
    Data:
    konferencja 2024.08.05--2024.08.08
    Status:
    Opublikowana
    Doi:
    10.48550/arXiv.2305.08234 - link do publikacji
  5. An Improved Algorithm for Finding the Shortest Synchronizing Words
    Autorzy:
    Marek Szykuła, Adam Zyzik
    Konferencja:
    European Symposium on Algorithms (rok: 2022, tom: 30th Annual European Symposium on Algorithms, strony: 85:1--85:15), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
    Data:
    konferencja 2022-09-05--2022-09-09
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.ESA.2022.85 - link do publikacji
  6. Fast and Knowledge-Free Deep Learning for General Game Playing (Student Abstract)
    Autorzy:
    Michał Maras, Michał Kępa, Jakub Kowalski, Marek Szykuła
    Konferencja:
    Proceedings of the AAAI Conference on Artificial Intelligence (rok: 2024, tom: 38th AAAI Conference on Artificial Intelligence, strony: 23576-23578), Wydawca: AAAI Press
    Data:
    konferencja 20.02.2024--27.02.2024
    Status:
    Opublikowana
    Doi:
    10.1609/aaai.v38i21.30480 - link do publikacji
  7. Summarizing Strategy Card Game AI Competition
    Autorzy:
    Jakub Kowalski, Radosław Miernik
    Konferencja:
    2023 IEEE Conference on Games (CoG) (rok: 2023, tom: IEEE Conference on Games, strony: 1--8), Wydawca: IEEE
    Data:
    konferencja 2023.08.21--2023.08.24
    Status:
    Opublikowana
    Doi:
    10.1109/CoG57401.2023.10333181 - link do publikacji