Handbook of theoretical computer science (vol. B)
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Advances in genetic programming
Evolutionary computation: toward a new philosophy of machine intelligence
Evolutionary computation: toward a new philosophy of machine intelligence
Genetic programming: an introduction: on the automatic evolution of computer programs and its applications
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Model checking
Deriving Genetic Programming Fitness Properties by Static Analysis
EuroGP '02 Proceedings of the 5th European Conference on Genetic Programming
Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language
Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language
Metrics Are Fitness Functions Too
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Improving symbolic regression with interval arithmetic and linear scaling
EuroGP'03 Proceedings of the 6th European conference on Genetic programming
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE Transactions on Evolutionary Computation
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Model Checking Driven Heuristic Search for Correct Programs
Model Checking and Artificial Intelligence
Semantic Aware Crossover for Genetic Programming: The Case for Real-Valued Function Regression
EuroGP '09 Proceedings of the 12th European Conference on Genetic Programming
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Model checking-based genetic programming with an application to mutual exclusion
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Semantics based crossover for boolean problems
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Dimensions in program synthesis
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Semantic similarity based crossover in GP: the case for real-valued function regression
EA'09 Proceedings of the 9th international conference on Artificial evolution
The role of syntactic and semantic locality of crossover in genetic programming
PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature: Part II
MCGP: a software synthesis tool based on model checking and genetic programming
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Synthesizing solutions to the leader election problem using model checking and genetic programming
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Semantically-based crossover in genetic programming: application to real-valued symbolic regression
Genetic Programming and Evolvable Machines
Examining the landscape of semantic similarity based mutation
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Finite state machine induction using genetic algorithm based on testing and model checking
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Code mutation in verification and automatic code correction
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Improving the generalisation ability of genetic programming with semantic similarity based crossover
EuroGP'10 Proceedings of the 13th European conference on Genetic Programming
Survey: A survey on search-based software design
Computer Science Review
A new framework for scalable genetic programming
Proceedings of the 14th annual conference companion on Genetic and evolutionary computation
Proceedings of the 14th annual conference companion on Genetic and evolutionary computation
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
Searching for pareto-optimal randomised algorithms
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
On the roles of semantic locality of crossover in genetic programming
Information Sciences: an International Journal
An evolutionary methodology for automatic design of finite state machines
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
An interpolation based crossover operator for genetic programming
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
| Hi-index | 0.00 |
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 strategy for learning finite state machines. We give experimental results consisting of learning the control program for a vending machine.