2.3k citations · 2.5k across the 34 of their papers we have counts for
5 papers · 1 filter
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach
Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi +1
In this work, we propose a compositional data-driven approach for the formal estimation of collision risks for autonomous vehicles (AVs) while acting in a stochastic multi-agent fr…
Posetal Games: Efficiency, Existence, and Refinement of Equilibria in Games with Prioritized Metrics
Alessandro Zanardi, Gioele Zardini, Sirish Srinivasan +4
Modern applications require robots to comply with multiple, often conflicting rules and to interact with the other agents. We present Posetal Games as a class of games in which eac…
On Assessing the Usefulness of Proxy Domains for Developing and Evaluating Embodied Agents
Anthony Courchesne, Andrea Censi, Liam Paull
In many situations it is either impossible or impractical to develop and evaluate agents entirely on the target domain on which they will be deployed. This is particularly true in…
Dynamic Population Games: A Tractable Intersection of Mean-Field Games and Population Games
Ezzat Elokda, Saverio Bolognani, Andrea Censi +2
In many real-world large-scale decision problems, self-interested agents have individual dynamics and optimize their own long-term payoffs. Important examples include the competiti…
A Compositional Sheaf-Theoretic Framework for Event-Based Systems
Gioele Zardini, David I. Spivak, Andrea Censi +1
A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and…