Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Algorithmic aspects of synchronization

2015/17/B/ST6/01893

Keywords:

automata synchronization road coloring problem Cerny conjecture synchronizing word complexity algorithm

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory
  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Adam Roman 

Number of co-investigators in the project: 4

Call: OPUS 9 - announced on 2015-03-16

Amount awarded: 289 200 PLN

Project start date (Y-m-d): 2016-02-02

Project end date (Y-m-d): 2019-02-01

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (10)
  1. A Machine Learning Approach to Synchronization of Automata
    Authors:
    Igor Podolak, Adam Roman, Marek Szykuła, Bartosz Zieliński
    Academic press:
    Expert Systems with Applications (rok: 2017, tom: 97, strony: 357-371), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.eswa.2017.12.043 - link to the publication
  2. Synchronizing sequences for road colored digraphs
    Authors:
    Mariusz Grech, Andrzej Kisielewicz
    Academic press:
    DMTCS , Wydawca: Episciences
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. Complexity of Road Coloring with Prescribed Reset Words
    Authors:
    Vojtech Vorel, Adam Roman
    Academic press:
    Journal of Computer Systems and Sciences (rok: 2019, tom: 104, strony: 342-358), Wydawca: Elsevier
    Status:
    Accepted for publication
    DOI:
    10.1016/j.jcss.2016.05.009 - link to the publication
  1. Data Validaion Using Model-Based Testing and Finite Automata Synchronization
    Authors:
    Adam Roman
    Conference:
    1st International Conference on Applied Mathematics and Computer Science (rok: 2017, ), Wydawca: AIP
    Data:
    konferencja 27-29 stycznia 2017
    Status:
    Published
    DOI:
    link to the publication
  2. Variational Auto-Encoders for Generating Feature-Preserving Automata
    Authors:
    Igor Podolak, Adam Roman, Arkadiusz Czekajski, Bartosz Zieliński
    Conference:
    The 11th International Workshop on Non-Classical Models of Automata and Applications (rok: 2019, ), Wydawca: Austrian Computer Society
    Data:
    konferencja 2-3 lipca 2019
    Status:
    Published
  3. Synchronizing Incomplete Automata
    Authors:
    A. Ryzhikov, M. Szykuła
    Conference:
    --- (rok: 2016, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja ---
    Status:
    Submitted
  4. Experiments with Synchronizing Automata
    Authors:
    Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
    Conference:
    Implementation and Application of Automata (CIAA 2016) (rok: 2016, ), Wydawca: Springer, LNCS 9705
    Data:
    konferencja 2016
    Status:
    Published
    DOI:
    link to the publication
  5. Implementing Propositional Networks on FPGA
    Authors:
    Cezary Siwek, Jakub Kowalski, Chiara F. Sironi, Mark H.M. Winands
    Conference:
    Australasian Joint Conference on Artificial Intelligence (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 43445
    Status:
    Published
  6. Mapping Chess Aesthetics onto Procedurally Generated Chess-Like Games
    Authors:
    Jakub Kowalski, Antonios Liapis, Łukasz Żarczyński
    Conference:
    EvoApplications 2018: Applications of Evolutionary Computation (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 43194
    Status:
    Published
  7. A New Evolutionary Algorithm for Synchronization
    Authors:
    Jakub Kowalski, Adam Roman
    Conference:
    EVO 2017 (rok: 2017, ), Wydawca: Lecture Notes in Computer Science 10199
    Data:
    konferencja 2017
    Status:
    Accepted for publication
    DOI:
    link to the publication
  8. An Extremal Series of Eulerian Synchronizing Automata
    Authors:
    Marek Szykuła, Vojtech Vorel
    Conference:
    Developments in Language Theory, DLT 2016 (rok: 2016, ), Wydawca: Springer, LNCS 9840
    Data:
    konferencja 2016
    Status:
    Published
    DOI:
    link to the publication
  9. Evaluating Chess-Like Games Using Generated Natural Language Descriptions
    Authors:
    Jakub Kowalski, Łukasz Żarczyński, Andrzej Kisielewicz
    Conference:
    Advances in Computer Games (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja ACG 2017
    Status:
    Published
    DOI:
    link to the publication
  10. Regular Language Inference for Learning Rules of Simplified Boardgames
    Authors:
    Jakub Kowalski, Andrzej Kisielewicz
    Conference:
    Conference on Computational Intelligence and Games (rok: 2018, ), Wydawca: IEEE
    Data:
    konferencja 43357
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy