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

  • Conferenza Incontri: Leonardo Da Vinci. Uomo, artista e sperimentatore nei manoscritti di età sforzesca

    Tavola rotonda con Introduzione di Andrea Zannini Direttore del Dipartimento di studi umanistici e del patrimonio culturale Andrea Tabarroni Coordinatore Polo di Udine Fondazione Lincei Scuola Intervengono Rosalba Antonelli Università di Udine Linda Borean Università di Udine Alessio Decaria Università di Udine

    Giovedì 10 Ottobre 2019, ore 17.00 | Sala del Consiglio, Palazzo di Toppo Wassermann, via Gemona 92, Udine Giovedì 10 ottobre 2019, ore 17.00