Title: Strategic Level Mission Control – An Evaluation of CORAL and PROLOG Implementations for Mission Control Specifications
Kind : Conference Papers
Published In: Proc. IARP Workshop on Subsea Robotics, Toulon
Year : 1996
Authors : A. Healey
D. Marco
Paulo Jorge Ramalho Oliveira
António Manuel dos Santos Pascoal
Carlos Jorge Ferreira Silvestre
V. Silva
Lab : Dynamical Systems and Ocean Robotics Lab (DSOR)