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
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
March 2019
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
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
Applying reinforcement learning and supervised learning techniques to play Hearthstone
December 2017
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Finding all minimum-size DFA consistent with given examples: SAT-based approach
September 2017
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
BFS-Based Symmetry Breaking Predicates for DFA Identification
February 2015
Ulyantsev V., Zakirzyanov I., Shalyto A.