106 citations · 183 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…