CROME: Contract-Based Robotic Mission Specification.

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider

Browse the full MEMOCODE paper archive.