Dear all,

We will have our next LIRa session tomorrow, on Thursday, 9 November 16:30.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

Speaker: Natasha Alechina (Utrecht University)

Date and Time: Thursday, November 9th 2023, 16:30-18:00

Venue: ILLC seminar room F1.15 in Science Park 107 and online

Title: Norms in multi-agent systems

Abstract. Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). I will briefly describe logical approaches to verifying effects of introducing norms, and concentrate on the problem of synthesising a set of norms which ensures that MAS satisfies a design objective expressed in Alternating Time Temporal Logic ATL*. I will focus on dynamic norms, that allow us to place different constraints on the agents' behaviour depending on the state of the norm automaton and the state of the underlying MAS.

The talk will be based on joint work with Giuseppe Perelli, Giuseppe De Giacomo and Brian Logan published in KR 2022.

Hope to see you there!

The LIRa team