39 citations · 57 across the 17 of their papers we have counts for
13 papers · 1 filter
Formal Analysis and Verification of Max-Plus Linear Systems
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate +1
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. In this paper, we investigate…
On Imperfect Recall in Multi-Agent Influence Diagrams
James Fox, Matt MacDermott, Lewis Hammond +3
Multi-agent influence diagrams (MAIDs) are a popular game-theoretic model based on Bayesian networks. In some settings, MAIDs offer significant advantages over extensive-form game…
On the Trade-off Between Efficiency and Precision of Neural Abstraction
Alec Edwards, Mirco Giacobbe, Alessandro Abate
Neural abstractions have been recently introduced as formal approximations of complex, nonlinear dynamical models. They comprise a neural ODE and a certified upper bound on the err…
An Exact Characterisation of Flexibility in Populations of Electric Vehicles
Karan Mukhi, Alessandro Abate
Increasing penetrations of electric vehicles (EVs) presents a large source of flexibility, which can be used to assist balancing the power grid. The flexibility of an individual EV…
Networked Communication for Decentralised Agents in Mean-Field Games
Patrick Benjamin, Alessandro Abate
Methods like multi-agent reinforcement learning struggle to scale with growing population size. Mean-field games (MFGs) are a game-theoretic approach that can circumvent this by fi…
Abstracting Linear Stochastic Systems via Knowledge Filtering
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao +3
In this paper, we propose a new model reduction technique for linear stochastic systems that builds upon knowledge filtering and utilizes optimal Kalman filtering techniques. This…