Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Simple Priced Timed Games are not That Simple
du groupe Séminaire Méthodes Formelles

Date 2019-10-15  07:00-07:00
TitreSimple Priced Timed Games are not That Simple 
Résumé Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modeling the price of spending time in a state and executing an action, respectively). The goals of the players are to minimise or maximise the price to reach a target location. While one can compute the optimal values that the players can achieve (and their associated optimal strategies) when the weights are all positive, this problem with arbitrary integer weights remains open. In this talk, I will explain what makes this case more difficult and show how to solve the problem for a subclass of priced timed games (the so-called simple priced timed games). 
Lieu178 
OrateurEngel Lefaucheux 
Emailelefauch@mpi-sws.org 
UrlMPI SWS 



Aucun document lié à cet événement.

Retour
Retour à l'index