Jonas de Greef

Learn More
— This paper presents a DSL for geometric relations between rigid bodies such as relative position, orientation , pose, linear velocity, angular velocity, and twist. The DSL is the formal model of the recently proposed semantics for the standardization of geometric relations between rigid bodies [1], [2], referred to as 'geometric semantics'. This semantics(More)
  • 1