106 citations · 183 across the 12 of their papers we have counts for
13 papers
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…
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
Dario Guidotti, Luca Pulina, Armando Tacchella
In this work, we present an early prototype of NeVer 2.0, a new system for automated synthesis and analysis of deep neural networks.NeVer 2.0borrows its design philosophy from NeVe…
Automated Requirements-Based Testing of Black-Box Reactive Systems
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as seq…
Verification of Neural Networks: Enhancing Scalability through Pruning
Dario Guidotti, Francesco Leofante, Luca Pulina +1
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in env…
SMarTplan: a Task Planner for Smart Factories
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina +2
Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales. To fully pursu…