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

17046. Das R., Mitchell M., Crutchfield J. P. A genetic algorithm discoversparticle-based computation in cellular automata // Lecture Notes inComputer Science. 1994.www.santafe.edu/research/publications/workingpapers/94-03-015.pdf47. De Castro L., Timmis J. Artificial Immune Systems: A NewComputational Intelligence Approach. Springer, 2002.48. De Jong K. Evolutionary computation: a unified approach. MIT Press,Cambridge. MA, 2006.49. Dorigo M., Stutzle T. Ant Colony Optimization. The MIT Press, 2004.50. Eisenstein J. Evolving robot tank fighters. Technical Report AIM-2003-023. AI Lab. MIT, 2003.51. Ferrante N. Cotta C., Moscato P. Handbook of Memetic Algorithms. Berlin,NY: Springer-Verlag, 2012.52. Fogel L. Autonomous Automata // Industrial Research. 1962. V.4,pp. 14 – 19.53. Fogel L., Owens A., Walsh M. Artificial Intelligence through SimulatedEvolution. NY: Wiley, 1966.54. Frey C., Leugering G. Evolving Strategies for Global Optimization – AFinite State Machine Approach /Proceedings of the Genetic andEvolutionary Computation Conference (GECCO-2001). MorganKaufmann. 2001, pp. 27 – 33. http://citeseer.ist.psu.edu/456373.html55. Gastin P., Oddoux D. Fast LTL to Büchi Automata Translation / 13thConference on Computer Aided Verification (CAV'01). 2001, pp. 53 – 65.56. Gerth R., Peled D., Vardi M. Y.,Wolper P. Simple On-the-fly AutomaticVerification of Linear Temporal Logic / Proc. of the 15th Workshop onProtocol Specification. Testing and Verification. Warsaw. 1995,pp. 3 – 18.