Synchronizacja automatów skończonych - teoria, algorytmy, narzędzia i zastosowania
Instytucja Finansująca / Przyznający: MNiSW
Tytuł: Synchronizacja automatów skończonych - teoria, algorytmy, narzędzia i zastosowania
Kierownik: Adam Roman
Rozpoczęcie: 2013-07-04
Zakończenie: 2017-07-03
Uwagi: Iuventus Plus
Uczestnicy
Publikacje |
---|
Adam Roman, Marek Szykuła, Forward and backward synchronizing algorithms, Expert Systems with Applications vol. 42(24) (2015), 9512-9527 |
Adam Roman, Vojtech Vorel, Parameterized Complexity of Synchronization and Road Coloring, Discrete Mathematics and Theoretical Computer Science vol. 17(1) (2015), 307-330 |
Mateusz Drewienkowski, Adam Roman, A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets, Information and Computation vol. 242 (2015), 383-393 |
Adam Roman, Vojtech Vorel, Complexity of Road Coloring with Prescribed Reset Words, Lecture Notes in Computer Science vol. 8977 (2015), 161-172 |