Ilya Zakirzyanov
Ilya Zakirzyanov
Dirección de correo verificada de rain.ifmo.ru - Página principal
Título
Citado por
Citado por
Año
BFS-based symmetry breaking predicates for DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
International Conference on Language and Automata Theory and Applications …, 2015
262015
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
102017
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
92019
Finding all minimum-size DFA consistent with given examples: SAT-based approach
I Zakirzyanov, A Shalyto, V Ulyantsev
International Conference on Software Engineering and Formal Methods, 117-131, 2017
92017
Symmetry Breaking Predicates for SAT-based DFA Identification
V Ulyantsev, I Zakirzyanov, A Shalyto
arXiv preprint arXiv:1602.05028, 2016
12016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6