Ilya Zakirzyanov

Ilya Zakirzyanov


Research Groups

Biography

In 2015, Ilya graduated from the Applied Mathematics and Informatics Faculty at the Saint-Petersburg National research university of Information technologies, mechanics and optics (ITMO University) with a bachelor's degree. Currently he is a student at a master’s program.

Research interests

  • Formal Languages and Automata Theory
  • Grammatical Inference

Links

Publications

BeBoSy: Behavior Examples meet Bounded Synthesis

February 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

Read more

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

March 2019

Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva

Springer, Cham

Read more

Active Learning of Formal Plant Models For Cyber-Physical Systems

July 2018

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

IEEE

Read more

Applying reinforcement learning and supervised learning techniques to play Hearthstone

December 2017

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE

Read more

Finding all minimum-size DFA consistent with given examples: SAT-based approach

September 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Springer, Cham

Read more

BFS-Based Symmetry Breaking Predicates for DFA Identification

February 2015

Ulyantsev V., Zakirzyanov I., Shalyto A.

Proceedings of International Conference on Language and Automata Theory and Applications. - 2015. - P. 611-622.

Read more