14 citations · 21 across the 5 of their papers we have counts for
6 papers
Emergent Behaviour in Financial Markets
Omar Inverso, Emilio Tuosto, Dragisa Zunic
Some properties of so-called complex or collective systems can be observed to emerge from the interactions of elementary agents. This phenomenon, known as emergent behaviour, has l…
Fundamental market design as a layer of AI-agent alignment
Omar Inverso, Emilio Tuosto, Dragisa Zunic
This paper argues that AI-agent alignment in markets should not be understood only as a property of agents, but also as a property of the interaction infrastructure in which agents…
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
Pablo Krupa, Omar Inverso, Mirco Tribastone +1
In safety-critical applications that rely on the solution of an optimization problem, the certification of the optimization algorithm is of vital importance. Certification and subo…
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…
Towards formal models and languages for verifiable Multi-Robot Systems
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety. These threats may not alwa…
On the Path-Width of Integer Linear Programming
Constantin Enea, Peter Habermehl, Omar Inverso +1
We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs.…