Summary
This deliverable describes the chosen high-level specification language, the interface to let the users easily specify missions and the transformation of these missions into a more rigorous temporal logic formalism.
More information & hyperlinks
Search
Organisations
- Not specified