Zobrazeno 1 - 1
of 1
pro vyhledávání: '"O'Neill M"'
Autor:
Colin G. Johnson
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540716020
EuroGP
EuroGP
Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. In this paper we apply this to the fitness checking stage in an evolution strat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bcaff35400b3de070d22c1f586e8792
https://doi.org/10.1007/978-3-540-71605-1_11
https://doi.org/10.1007/978-3-540-71605-1_11