The Maude Formal Tool Environment.

Manuel Clavel Francisco Durán Joe Hendrix Salvador Lucas José Meseguer Peter Csaba Ölveczky

Published in: CALCO (2007)

Keyphrases

formal specification
virtual world
real time
mobile robot
machine learning
dynamic environments
environmental conditions
neural network
data structure
user friendly
computing environments
agent model