Следене
Ilya Zakirzyanov
Ilya Zakirzyanov
ITMO University
Потвърден имейл адрес: rain.ifmo.ru - Начална страница
Заглавие
Позовавания
Позовавания
Година
BFS-based symmetry breaking predicates for DFA identification
V Ulyantsev, I Zakirzyanov, A Shalyto
Language and Automata Theory and Applications: 9th International Conference …, 2015
452015
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
222019
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
212018
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
202017
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–8