Публикации

• Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
  Function block finite-state model identification using SAT and CSP solvers
  IEEE Transactions on Industrial Informatics, Январь 2019
• Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
  Counterexample-guided inference of controller logic from execution traces and temporal formulas
  IEEE, Сентябрь 2018
• Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
  Active Learning of Formal Plant Models For Cyber-Physical Systems
  IEEE, Июль 2018
• Chivilikhin D., Ulyantsev V., Shalyto A.
  Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
  Automation and Remote Control, Vol. 77, No. 3. - P.473-484, Март 2016
• Chivilikhin D., Shalyto A., Patil S., Vyatkin V.
  Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations
  Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN'15), pp. 1239-1242, 2015
• Chivilikhin D., Ivanov I., Shalyto A.
  Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
  Proceedings of 17th Genetic and Evolutionary Computation Conference companion (GECCO'15 companion), pp. 1185-1188, 2015
• Chivilikhin D., Ulyantsev V., Shalyto A.
  Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
  Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14), pp. 350-355, 2014
• Chivilikhin D., Ulyantsev V.
  MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
  Proceedings of the 15th Genetic and Evolutionary Computation Conference (GECCO'13), pp. 511-518, 2013
• Chivilikhin D., Ulyantsev V., Tsarev F.
  Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
  Proceedings of the 14th international conference on Genetic and Evolutionary Computation companion (GECCO'12), pp. 603-606, 2012
• Chivilikhin D., Ulyantsev V.
  Learning Finite-State Machines with Ant Colony Optimization
  Lecture Notes in Computer Science, Vol. 7461/2012, pp. 268-275, 2012