14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.RO2021
A Toolchain to Design, Execute, and Monitor Robots Behaviors
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli +2
In this paper, we present a toolchain to design, execute, and verify robot behaviors. The toolchain follows the guidelines defined by the EU H2020 project RobMoSys and encodes the…
cs.RO2021★ 14 cited
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli +2
In this paper, we enable automated property verification of deliberative components in robot control architectures. We focus on formalizing the execution context of Behavior Trees…