Reactive EFSMs - Reactive Promela/RSPIN.

Elie Najm Frank Olsen

Published in: TACAS (1996)

Keyphrases

pattern recognition
reactive planning
data structure
artificial intelligence
image processing
image sequences
cooperative
support vector
image features
general purpose
model checking
agent architecture
reactive systems