no code implementations • 5 Dec 2021 • Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani
In this paper, we consider the problem of synthesising a norm from traces of agent behaviour, where each trace is labelled with whether the behaviour satisfies the system objective.
no code implementations • 20 May 2020 • Natasha Alechina, Joseph Y. Halpern, Brian Logan
Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan.
no code implementations • 12 Jul 2018 • Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardina
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products.
no code implementations • 24 Aug 2016 • Natasha Alechina, Mehdi Dastani, Brian Logan
In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic.