共 50 条
- [1] Modular verification of modular finite state machines 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 972 - 979
- [2] Species formation in evolving finite state machines ADVANCES IN ARTIFICIAL LIFE, PROCEEDINGS, 1999, 1674 : 139 - 148
- [3] Prediction of binary sequences by evolving finite state machines ARTFICIAL EVOLUTION, 2002, 2310 : 42 - 53
- [4] A Study of Fitness Gains in Evolving Finite State Machines ADVANCES IN ARTIFICIAL INTELLIGENCE, AI 2023, PT II, 2024, 14472 : 479 - 490
- [5] Effectively Evolving Finite State Machines Compared to Enumeration COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT I, 2012, 6927 : 303 - 310
- [6] MFSMTools: Software for the development, verification, and execution of modular finite state machines WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 467 - +
- [8] A low power heterogenous reconfigurable architecture for embedded generic finite state machines IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2005, : 113 - 114
- [9] A Framework for the Evaluation of Specification Miners Based on Finite State Machines 2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,