Genetic programming with fitness based on model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4445 LNCS, Issue , 2007, Pages 114-124

  Johnson, Colin G ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; EVOLUTIONARY ALGORITHMS; FINITE AUTOMATA; LEARNING SYSTEMS; MODEL CHECKING; TEMPORAL LOGIC;

EVOLUTION STRATEGY; FITNESS CHECKING STAGE; TEMPORAL LOGIC STATEMENTS;

GENETIC PROGRAMMING;

EID: 34548059833     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-71605-1_11     Document Type: Conference Paper

References (26)

1. Ricardo Nastas Acras and Silvia Regina Vergilio. Splinter: A generic framework for evolving modular finite state machines. In Proceedings of SBIA 2004, pages 356-365. Springer, 2004.
2. Wolfgang Banzhaf, Peter Nordin, Robert E. Keller, and Frank D. Francone. Genetic Programming: An Introduction. Morgan Kaufmann, 1998.
3. 20 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
4. Thomas L. Casavant and Jon G. Kuhl. A communicating finite automata approach to modeling distributed computation and its application to distributed decision-making. IEEE Trans. Computers, 39(5):628-639, 1990.
5. Kumar Chellapilla and David Czarnecki. A preliminary investigation into evolving modular finite state machines. In Proceedings of the 1999 IEEE Congress on Evolutionary Computation. IEEE Press, 1999.
6. John Clark, Jose Javier Dolado, Mark Harman, Rob Hierons, Mary Lumkin Bryan Jones, Brian Mitchell, Spiros Mancoridis, Kearton Rees, Marc Roper, and Martin Shepperd. Reformulating software engineering as a search problem. IEE Proceedings - Software, 150(3):161-175, 2003.
7. John A. Clark and Jeremy L. Jacob. Protocols are programs too: the meta-heuristic search for security protocols. Information and Software Technology, 43(14):891-904, 2001.
8. Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.
9. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 955-1072. MIT Press, 1990.
10. D.B. Fogel. Evolutionary Computation: Toward a New Philosophy of Machine Intelligence. IEEE Press, 1995.
11. Lawrence J. Fogel, Alvin J. Owens, and Michael J. Walsh. Artificial Intelligence through Simulated Evolution. Academic Press, 1966.
12. Mark Harman and John A Clark. Metrics are fitness functions too. In Proceedings of the Tenth IEEE International Symposium on Software Metrics, pages 58-69. IEEE Press, 2004.
13. Mark Harman and Bryan F. Jones. Search-based software engineering. Information and Software Technology, 43(14):833-839, 2001.
14. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: a tool for automatic verification of probabilistic systems. In H. Hermanns and J. Palsberg, editors, Proceedings 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), pages 441-444, 2006. LNCS Volume 3920.
15. Lorenz Huelsbergen. Abstract program evaluation and its application to sorter evolution. In Proceedings of the 2000 Congress on Evolutionary Computation, pages 1407-1414. IEEE Press, 2000.
16. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000.
17. Colin G. Johnson. Deriving genetic programming fitness properties by static analysis. In James Foster, Evelyne Lutton, Conor Ryan, and Andrea Tettamanzi, editors, Proceedings of the 2002 European Conference on Genetic Programming. Springer, 2002.
18. Colin G. Johnson. Genetic programming with guaranteed constraints. In Ahmad Lotfi and Jonathan M. Garibaldi, editors, Applications and Science in Soft Computing, pages 95-100. Springer, 2004.
19. Maarten Keijzer. Improving symbolic regression with interval arithmetic. In Conor Ryan et al., editor, Proceedings of the 6th European Conference on Genetic Programming, pages 70-82, 2003.
20. John R. Koza. Genetic Programming : On the Programming of Computers by means of Natural Selection. Series in Complex Adaptive Systems. MIT Press, 1992.
21. Michael O'Neill and Conor Ryan. Grammatical evolution. IEEE Transactions on Evolutionary Computation, 5(4):349-358, August 2001.
22. Michael O'Neill and Conor Ryan. Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language. Kluwer, 2003.
23. D. Partridge and A. Galton. The specification of 'specification'. Minds and Machines, 5(2):243-255, 1995.
24. D. Partridge and W.B. Yates. Data-defined problems and multiversion neural-net systems, Journal of Intelligent Systems, 7(1-2):19-32, 1997.
25. Pavel Petrovic. Comparing finite-state automata representation with gp-trees. IDI Technical report 05/2006, Norwegian University of Science and Technology, 2006.
26. Conor Ryan. Pygmies and civil servants. In Kenneth E. Kinnear, Jr., editor, Advances in Genetic Programming, pages 243-263. MIT Press, 1994.