Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C.

Ester Suárez-Calvo Javier Tuya

Published in: JISBD (2000)

Keyphrases

optimal control
control system
process control
control strategies
formal methods
decision making
reinforcement learning
multi agent systems
mobile robot
logic programs
control strategy