Aspects on Modelling and Simulation of Genetic Algorithms: A Formal Approach

Sam Sandqvist

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2002
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameResearch Report A74
    PublisherHelsinki University of Technology, Laboratory for Theoretical Computer Science


    • genetic algorithm
    • modelling
    • Petri net
    • probabilistic logic
    • simulation
    • temporal logic

    Cite this