martedì 10 aprile 2018, ore 18.00

Energy games with perfect and imperfect information

dott.ssa Raffaella Gentilini

sala Riunioni del DMIF
Sede Rizzi, via delle Scienze

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.

Le prossime conferenze

  • Introduzione alla Compressed Computation

    Lunedì 25 Febbraio 2019, ore 14.30 | Aula multimediale, Dipartimento di scienze matematiche, informatiche e fisiche, Via delle Scienze, 206, Udine

  • Homo sum

    Incontro con Ivano Dionigi

    Venerdì 1 Marzo 2019, ore 17.00 | Aula T7, Palazzo di Toppo Wassermann, via Gemona, n. 92

  • Incontro con gli studenti - Cristiano De André

    in dialogo con Alfredo Franchini giornalista e biografo di Fabrizio De André

    Giovedì 4 Aprile 2019, ore 18.00 | Aula 9, Palazzo di Toppo Wassermann, via Gemona, n. 92, Udine