Skip to content
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
Search
Conference Papers
Strategic Level Mission Control – An Evaluation of CORAL and PROLOG Implementations for Mission Control Specifications
A. Healey | D. Marco |
Paulo Oliveira
|
António Pascoal
|
Carlos Silvestre
| V. Silva
Dynamical Systems and Ocean Robotics Lab (DSOR)
Proc. IARP Workshop on Subsea Robotics, Toulon
January, 1996