GenFSM
GenFSM is a software framework designed to help engineers create finite state machines (FSMs) through generative techniques. It provides tools to encode domain models, constraints, and objectives, and to automatically generate FSMs that satisfy those requirements. The project emphasizes reproducibility and rapid prototyping, enabling teams to explore multiple FSM designs before committing to an implementation. GenFSM aims to bridge model-driven design approaches with executable state-based behavior in software systems and games.
The framework is organized around a modular core and a set of extensions. The core engine manages
Users describe a problem model by specifying states, transitions, guards, actions, and success criteria. They can
Applications include game AI, protocol design and verification, embedded control systems, robotics, and software testing. The