Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
2017/27/B/ST6/00299
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
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
- Komputer przenośny. Za kwotę 7 800 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (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.1016/j.jcss.2019.10.001 – link do publikacji
-
Learning Deterministic Automata on Infinite Words
- Autorzy:
- Jakub Michaliszyn, Jan Otop
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (6)
-
Minimization of Limit-Average Automata
- Autorzy:
- Jakub Michaliszyn, Jan Otop
- Konferencja:
- International Joint Conference on Artificial Intelligence (IJCAI) (rok: 2021, strony: 2819-2825), Wydawca: ijcai.org
- Data:
- konferencja 2021-sierpień-19-27
- Status:
- Opublikowana
-
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, strony: 82--101), Wydawca: Springer
- Data:
- konferencja 27.03-1.04.2021
- Status:
- Opublikowana
-
Approximate Learning of Limit-Average Automata
- Autorzy:
- Jakub Michaliszyn, Jan Otop
- Konferencja:
- International Conference on Concurrency Theory (CONCUR 2019) (rok: 2019, strony: 17:1--17:16), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Data:
- konferencja 26-31.08.2019
- Status:
- Opublikowana
-
Learning Deterministic Automata on Infinite Words
- Autorzy:
- Jakub Michaliszyn and Jan Otop
- Konferencja:
- European Conference on Artificial Intelligence (ECAI 2020) (rok: 2020, strony: 2370--2377), Wydawca: IOS Press
- Data:
- konferencja 8-12.06.2020
- Status:
- Opublikowana
-
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, strony: 23:1-23:22), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Data:
- konferencja 1-4.09.2020
- Status:
- Opublikowana
-
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, strony: 27:1-27:16), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Data:
- konferencja 26-31.08.2019
- Status:
- Opublikowana