7 citations · 19 across the 10 of their papers we have counts for
1 paper · 1 filter
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…