Contract-Based Specification Refinement and Repair for Mission Planning

Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo +1

We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications…