2 papers
cs.LO2023
Some Algebraic Aspects of Assume-Guarantee Reasoning
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
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 fu…
cs.RO2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer +2
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production…