An extension to algebraic specifications to incorporate state behavior.

Fred Calm John R. White

Published in: ACM Annual Conference (1979)

Keyphrases

genetic algorithm
machine learning
state space
autonomous robots
dynamic behavior
neural network
web services
search algorithm
artificial neural networks
specification language
initial conditions
state transitions
cellular automaton