106 citations · 183 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
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…
Reverse Engineering of Middleware for Verification of Robot Control Architectures
Ali Khalili, Lorenzo Natale, Armando Tacchella
We consider the problem of automating the verification of distributed control software relying on publish-subscribe middleware. In this scenario, the main challenge is that softwar…