Ilya Zakirzyanov

According to our database, Ilya Zakirzyanov authored at least 7 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

BeBoSy: Behavior Examples Meet Bounded Synthesis.

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access, 2021

2019

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.

Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva

Proceedings of the Language and Automata Theory and Applications, 2019

2018

Active Learning of Formal Plant Models For Cyber-Physical Systems.

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

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

2017

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach.

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Proceedings of the Software Engineering and Formal Methods, 2017

Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone.

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017

2016

Symmetry Breaking Predicates for SAT-based DFA Identification.

Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto

CoRR, 2016

2015

BFS-Based Symmetry Breaking Predicates for DFA Identification.

Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto

Proceedings of the Language and Automata Theory and Applications, 2015