Workshop in Logics for Multi-Agent Systems

Natasha Alechina (Utrecht University)

Title: Strategies and Resources

Date and time: September 2nd at 11:20 am

Abstract:

Approaches to verification and synthesis of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. In many multi-agent systems it is also necessary to take into account that the agents' actions require (and sometimes produce) resources. I will survey previous work on the verification and synthesis of strategies in multi-agent systems with resources, and in particular talk about recent joint work with Stéphane Demri and Brian Logan on extracting resource constraints on strategies.

The Workshop invited talks and coffee break will take place in room MF105 at the Manufacture des Tabacs of the University Toulouse 1 Capitole.

See the detailed building map here (look for Building F).