Sciweavers

Share
EUROGP
2007
Springer
116views Optimization» more  EUROGP 2007»
10 years 6 months ago
Genetic Programming with Fitness Based on Model Checking
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
Colin G. Johnson
books