Sign in

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.

Piergiuseppe MallozziNir PitermanPierluigi NuzzoGerardo SchneiderPatrizio 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