Follow
Ilya Zakirzyanov
Title
Cited by
Cited by
Year
BFS-based symmetry breaking predicates for DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
Language and Automata Theory and Applications: 9th International Conference …, 2015
442015
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
I Zakirzyanov, A Morgado, A Ignatiev, V Ulyantsev, J Marques-Silva
International Conference on Language and Automata Theory and Applications …, 2019
192019
Finding all minimum-size DFA consistent with given examples: SAT-based approach
I Zakirzyanov, A Shalyto, V Ulyantsev
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
192018
Applying reinforcement learning and supervised learning techniques to play hearthstone
I Kachalsky, I Zakirzyanov, V Ulyantsev
2017 16th IEEE International Conference on Machine Learning and Applications …, 2017
172017
Symmetry breaking predicates for sat-based DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
arXiv preprint arXiv:1602.05028, 2016
52016
BeBoSy: Behavior Examples Meet Bounded Synthesis
D Chivilikhin, I Zakirzyanov, V Ulyantsev
IEEE Access 9, 27540-27551, 2021
2021
DETERMINISTIC FINITE AUTOMATA USINGCOUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT
IT Zakirzyanov
Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2020
2020
Active learning of formal plant models for cyber-physical systems
P Ovsiannikova, D Chivilikhin, V Ulyantsev, A Stankevich, I Zakirzyanov, ...
2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–8