Accesso studenti
e docenti



Conferenze

Martedì 10 Aprile 2018, ore 18.00

ENERGY GAMES WITH PERFECT AND IMPERFECT INFORMATION

ENERGY GAMES WITH PERFECT AND IMPERFECT INFORMATION
dott.ssa Raffaella Gentilini

Seminario della dott.ssa Raffaella Gentilini 

 

Games played on graphs are a powerful tool to reason on crucial issues
arising in  Logic, Formal Methods  and Automata theory. In this talk we
consider two player games with energy objectives, a quantitative objective
targeting the design and synthesis of complex interactive systems under
resource-constrained specifications. Beside their own interest in the
context of resource-aware verification, energy games  are  one of the rare
and intriguing combinatorial problems that lie in the complexity class
NP \cap coNP, but are not known to be in P.
We first provide an overview over   the state-of-the-art algorithmics for
energy games under the classic assumption of perfect information, where
the players have complete knowledge on the history of the play. We then
turn our attention to imperfect information energy games, suitable to
capture the partial knowledge due to e.g. the presence of private
variables or sensor with a poor accuracy.

Locandina 594.4 KB

Le prossime conferenze

  • Bioinformatica e sequenziamento di genomi

    Alberto Policriti Vicedirettore della Scuola Superiore dell’Università di Udine Venerdì 27 aprile ore 14:15 – 16:15 Aula Pasolini di Palazzo Garzolini di Toppo-Wassermann Via Gemona, 92 – Udine

    Venerdì 27 Aprile 2018, ore 14.15 |