Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

2017/27/B/ST6/00299

Słowa kluczowe:

automaty skończone specyfikacje formalna weryfikacja

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

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 Jan Otop 

Liczba wykonawców projektu: 2

Konkurs: OPUS 14 - ogłoszony 2017-09-15

Przyznana kwota: 741 400 PLN

Rozpoczęcie projektu: 2018-10-01

Zakończenie projektu: 2021-09-30

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

Status projektu: Projekt rozliczony

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.

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 7 800 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (6)
  1. Learning Deterministic Automata on Infinite Words
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Czasopismo:
    Artificial Intelligence , Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  2. Non-deterministic weighted automata evaluated over Markov chains.
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Czasopismo:
    Journal of Computer and System Sciences (rok: 2020, tom: 108, strony: 118-136), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.001 - link do publikacji
  1. Approximate Learning of Limit-Average Automata
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    International Conference on Concurrency Theory (CONCUR 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-31.08.2019
    Status:
    Opublikowana
  2. Learning Deterministic Automata on Infinite Words
    Autorzy:
    Jakub Michaliszyn and Jan Otop
    Konferencja:
    European Conference on Artificial Intelligence (ECAI 2020) (rok: 2020, ), Wydawca: IOS Press
    Data:
    konferencja 8-12.06.2020
    Status:
    Opublikowana
  3. Minimization of Limit-Average Automata
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    International Joint Conference on Artificial Intelligence (IJCAI) (rok: 2021, ), Wydawca: ijcai.org
    Data:
    konferencja 2021-sierpień-19-27
    Status:
    Opublikowana
  4. Long-Run Average Behavior of Vector Addition Systems with States
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    International Conference on Concurrency Theory (CONCUR 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-31.08.2019
    Status:
    Opublikowana
  5. Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    International Conference on Concurrency Theory (CONCUR 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 1-4.09.2020
    Status:
    Opublikowana
  6. "Most of"' leads to undecidability: Failure of adding frequencies to LTL
    Autorzy:
    B. Bednarczyk, J. Michaliszyn
    Konferencja:
    International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021) (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 27.03-1.04.2021
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy