Description: ComposAble Robot behaViors with vErification
Software development in robotics typically focuses on individual components, whereas the component's orchestration receives much less attention. This fact makes software behaviors usually application-dependent and is therefore hardly reusable. Moreover, there is little or no use of formal verification tools for assessing properties of component's orchestration. The objectives of the CARVE project are: use Behavior Trees (BTs) for modeling composable and reusable behaviors; provide a set of verification tool
Theme by beautiful-jekyll