Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

EUROGP
2007
Springer

favoriteEmaildiscussreport

116views Optimization» more EUROGP 2007»

Genetic Programming with Fitness Based on Model Checking

13 years 10 months ago

Genetic Programming with Fitness Based on Model Checking

Download www.cs.kent.ac.uk

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. In this paper we apply this to the ﬁtness checking stage in an evolution strategy for learning ﬁnite state machines. We give experimental results consisting of learning the control program for a vending machine.

Colin G. Johnson

Real-time Traffic

EUROGP 2007 | Model Checking | Temporal Logic Statements | ﬁtness Checking Stage |

claim paper

Related Content

» Predictive Models Using Fitness Distributions of Genetic Operators

» Using Cosolvability to Model and Exploit Synergetic Effects in Evolution

» A genetic model based on simulated crossover of quaternary genes for quadratic fitness

» Using Genetic Programming to Increase Rule Quality

» Tackling the Container Loading Problem A Hybrid Approach Based on Integer Linear Programmi...

» Fitness Clouds and Problem Hardness in Genetic Programming

» Efficient ClusteringBased Genetic Algorithms in Chemical Kinetic Modelling

» Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics

» Some Considerations on the Reason for Bloat

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	EUROGP
Authors	Colin G. Johnson

Comments (0)