Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Obliczeniowe aspekty gier nieskończonych

2021/41/B/ST6/03914

Słowa kluczowe:

gry nieskończone gry parzystości algorytm kwaziwielomianowy gry mean-payoff gry discounted-payoff gry stochastyczne rachunek mu ograniczenia dolne drzewa nieskończone problem indeksu Mostowskiego

Deskryptory:

  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe

Panel:

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

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Paweł Czesław Parys 

Liczba wykonawców projektu: 8

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

Przyznana kwota: 937 570 PLN

Rozpoczęcie projektu: 2022-01-01

Zakończenie projektu: 2026-01-20

Planowany czas trwania projektu: 48 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

  • Teksty w publikacjach pokonferencyjnych (7)
  1. The Probabilistic Rabin Tree Theorem
    Autorzy:
    Damian Niwiński, Paweł Parys, Michał Skrzypczak
    Konferencja:
    Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2023, tom: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), strony: nieznane), Wydawca: ACM/IEEE
    Data:
    konferencja 26-29.06.2023
    Status:
    Złożona
  2. Languages Given by Finite Automata over the Unary Alphabet
    Autorzy:
    Wojciech Czerwiński, Maciej Dębski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michał Skrzypczak, Frank Stephan, Christopher Tan
    Konferencja:
    43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India (rok: 2023, tom: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023), strony: 22:1-22:20), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 18-20.122023
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.FSTTCS.2023.22 - link do publikacji
  3. Parity Games of Bounded Tree-Depth
    Autorzy:
    Konrad Staniszewski
    Konferencja:
    31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland (rok: 2023, tom: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), strony: 33:1-33:20), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 13-16.02.2023
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.CSL.2023.33 - link do publikacji
  4. The Probabilistic Rabin Tree Theorem
    Autorzy:
    Damian Niwiński, Paweł Parys, Michał Skrzypczak
    Konferencja:
    Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2023, tom: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), strony: 45670), Wydawca: ACM/IEEE
    Data:
    konferencja 26-29.06.2023
    Status:
    Opublikowana
    Doi:
    10.1109/LICS56636.2023.10175800 - link do publikacji
  5. Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games
    Autorzy:
    Paweł Parys, Aleksander Wiącek
    Konferencja:
    Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023 (rok: 2023, tom: Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, strony: nieznane), Wydawca: Springer
    Data:
    konferencja 24-28.07.2023
    Status:
    Złożona
  6. Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games
    Autorzy:
    Paweł Parys, Aleksander Wiącek
    Konferencja:
    Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023 (rok: 2023, tom: Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, strony: 275-286), Wydawca: Springer
    Data:
    konferencja 24-28.07.2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-36978-0_22 - link do publikacji
  7. Parity Games of Bounded Tree-Depth
    Autorzy:
    Konrad Staniszewski
    Konferencja:
    31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland (rok: 2023, tom: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), strony: 33:1-33:20), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 13-16.02.2023
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.CSL.2023.33 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy