BFS-Based Symmetry Breaking Predicates for DFA Identification. - Vladimir Ulyantsev; Ilya Zakirzyanov; Anatoly Shalyto 001 (LATA, 2015)

Symmetry Breaking Predicates for SAT-based DFA Identification. - Vladimir Ulyantsev; Ilya Zakirzyanov; Anatoly Shalyto 001 (CoRR, 2016)

Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone. - Ilya Kachalsky; Ilya Zakirzyanov; Vladimir Ulyantsev (ICMLA, 2017)

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. - Ilya Zakirzyanov; Anatoly Shalyto 001; Vladimir Ulyantsev (SEFM Workshops, 2017)

Active Learning of Formal Plant Models For Cyber-Physical Systems. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Andrey Stankevich; Ilya Zakirzyanov; Valeriy Vyatkin; Anatoly Shalyto 001 (INDIN, 2018)

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. - Ilya Zakirzyanov; António Morgado 001; Alexey Ignatiev; Vladimir Ulyantsev; João Marques-Silva 001 (LATA, 2019)

BeBoSy: Behavior Examples Meet Bounded Synthesis. - Daniil Chivilikhin; Ilya Zakirzyanov; Vladimir Ulyantsev (IEEE Access, 2021)