2014/15/D/ST6/04543
Słowa kluczowe:
automaty z wagami automaty hybrydowe kwantytatywna weryfikacja modeli algorytmy heurystyczne,rozstrzygalność
Deskryptory:
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
Konkurs: SONATA 8 - ogłoszony 2014-09-15
Przyznana kwota: 417 760 PLN
Rozpoczęcie projektu: 2015-07-22
Zakończenie projektu: 2018-10-21
Planowany czas trwania projektu: 39 miesięcy (z wniosku)
Status projektu: Projekt rozliczony