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

Concurrent games and semi-random determinacy

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

 Stéphane Le Roux
Date
Le mardi 20 février 2018 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Stéphane Le Roux (Université libre de Bruxelles)

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, existence of Player 1 winning (finite-memory) strategies is equivalent to existence of winning (finite-memory) strategies in finitely many derived one-player games. Several classical winning conditions satisfy this simple requirement. Under an additional requirement on the winning condition, non-existence of Player 1 winning strategies from all vertices is equivalent to existence of Player 1 stochastic strategies winning almost surely from all vertices. Only few classical winning conditions satisfy this additional requirement, but a fairness variant of omega-regular languages does.


À propos du LSV

Agenda des séminaires

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

mar. 19 février

Les séminaires précédents