Problem specification with action machines.

Leon E. Winslow

Published in: SIGCSE (1993)

Keyphrases

transition systems
action language
high level
formal verification
formal specification
website
action selection
data sets
information retrieval
genetic algorithm
decision making
reinforcement learning
scheduling problem
flowshop
specification language
action rules