Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming.

Daniil Chivilikhin Ilya Ivanov Anatoly Shalyto

Published in: GECCO (Companion) (2015)

Keyphrases

finite state machines
genetic programming
temporal properties
model checking
evolutionary algorithm
state machine
hidden markov models
probabilistic model
rough sets
finite state automata
inference rules
pattern matching
neural network
fuzzy logic
pattern recognition
artificial intelligence
genetic algorithm