Login / Signup
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.
Piergiuseppe Mallozzi
Nir Piterman
Pierluigi Nuzzo
Gerardo Schneider
Patrizio Pelliccione
Published in:
CoRR (2023)
Keyphrases
</>
space exploration
computer vision
building blocks
design process
design principles
construction process
database
real time
databases
neural network
real world
software engineering
power consumption
real robot