Методы построения конечных автоматов на основе ...

17157. Ghnemat R., Khatatneh K., Oqeili S., Bertelle C., Duchamp G. Automatabasedadaptive behavior for economic modeling using game theory. 2005.http://arxiv.org/abs/cs/051008958. Glover F. Tabu search: A tutorial //Interfaces. 1990. Vol. 20, pp. 74 – 94.59. Glover F., Laguna M., Martí R. Fundamentals of Scatter Search and PathRelinking // Control and Cybernetics, 2000. № 29 (3), pp. 653 – 68460. Godefroid P. Model Checking for Programming Languages using Verisoft/ Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principlesof Programming Languages, pp. 174 – 186.61. Gold E. M. Complexity of automaton identification from given data. //Information and Control. 1978. № 37, pp. 302 − 320.62. Goldberg D. A Note on Boltzmann Tournament Selection for GeneticAlgorithms and Population-Oriented Simulated Annealing // ComplexSystems. 1990. Vol. 4, pp. 445 − 460.63. Goldsby H. J., Cheng B. H. Avida-MDE: a digital evolution approach togenerating models of adaptive software behavior / Proceedings of the 10thAnnual Conference on Genetic and Evolutionary Computation(GECCO’08), pp. 1751 – 1758.64. Hamming R. Error detecting and error correcting codes // Bell SystemTechnical Journal 29 (2), pp. 147 – 160.65. Harel D., Pnueli A. On the development of reactive systems / In «Logicand Models of Concurrent Systems». NATO Advanced Study Institute onLogic and Models for Verification and Specification of Concurrent Systems.Springer Verlag, 1985. pp. 477 – 498.66. Harman M., Hierons R., Proctor M. A new representation and crossoveroperator for search-based optimization of software modularization / InGECCO 2002: Proceedings of the Genetic and Evolutionary ComputationConference (NY, 2002). Morgan Kauffman Publishers, pp. 1351 – 1358.