Conference Papers

Strategic Level Mission Control – An Evaluation of CORAL and PROLOG Implementations for Mission Control Specifications

Proc. IARP Workshop on Subsea Robotics, Toulon