DynAlloy: upgrading alloy with actions.

Marcelo F. Frias Juan P. Galeotti Carlos López Pombo Nazareno Aguirre

Published in: ICSE (2005)

Keyphrases

information retrieval
decision theoretic
neural network
computer vision
situation calculus
plan recognition
goal directed
action space
state transitions
repeated games