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 …

We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide
new as well as known operations, and show how these operations are related. Contracts are …

Today systems industries face significant challenges to bring products to market. Companies
struggle to integrate into complex designs a large number of subsystems designed by …

The design of autonomous systems is challenging and ensuring their trustworthiness can
have different meanings, such as i) ensuring consistency and completeness of the …