research
∙
06/29/2021
A Toolchain to Design, Execute, and Monitor Robots Behaviors
In this paper, we present a toolchain to design, execute, and verify rob...
share
research
∙
06/23/2021
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
Our research aims to enable automated property verification of deliberat...
research
∙
11/18/2020
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
In this work, we present an early prototype of NeVer 2.0, a new system f...
research
∙
05/14/2020
Automated Requirements-Based Testing of Black-Box Reactive Systems
We present a new approach to conformance testing of black-box reactive s...
research
∙
03/17/2020
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of int...
research
∙
06/19/2018
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm...
research
∙
05/25/2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
research
∙
02/24/2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
We consider the problem of binary image generation with given properties...
research
∙
12/12/2017
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Property Specification Patterns (PSPs) have been proposed to solve recur...
research
∙
11/12/2017
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
In manufacturing, the increasing involvement of autonomous robots in pro...
research
∙
02/23/2017