Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Structured specification of strategies in games on graphs

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Le vendredi 21 septembre 2007 à 11:00
Salle Condorcet (Bât. d'Alembert)
R. Ramanujam (IMSc, Chennai, India)

The analysis of non-zero-sum games proceeds by determining the response of players to opponents' strategies. However, this requires each player to know what every other player would do in every possible situation, which is quite unrealistic in large games. We look at situations where players construct bounded memory strategies in a structured manner, where the opponent's strategy may be known only by its properties. In the new setting we study the algorithmic question of finding best response for a player.

We also present a simple modal logic to reason about strategies and show that checking assertion on a game graph is decidable.

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

No entries.

Les séminaires précédents