Researcher profile

Alessio Lomuscio

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Synthesizing strategies under expected and exceptional environment behaviors

2020

We consider an agent that operates with two models of the environment: one that captures expected behaviors and one that captures additional exceptional behaviors. We study the problem of synthesizing agent strategies that enforce a …
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching

2021

We introduce an efficient method for the complete verification of ReLU-based feed-forward neural networks. The method implements branching on the ReLU states on the basis of a notion of dependency between the nodes. This results …