Stabilire che cosa un sistema possa garantire quando interagisce con un ambiente che non controlla costituisce una domanda fondamentale per comprendere il funzionamento dei programmi. La difficoltà emerge quando il comportamento richiesto deve conservarsi nel tempo, attraverso una successione di decisioni e risposte che può proseguire indefinitamente. Games on Graphs: From Logic and Automata to Algorithms, opera collettiva curata da Nathanaël Fijalkow e pubblicata nel 2026 da Cambridge University Press, affronta questa questione dalla prospettiva dell’informatica teorica. Il problema consiste nel precisare le condizioni che rendono affidabile un comportamento anche davanti a scelte sfavorevoli. Un programma può infatti rispondere correttamente in molte circostanze senza possedere una regola capace di assicurare il risultato in tutte quelle ammesse dal modello. La nozione di garanzia assume perciò un significato rigoroso: occorre considerare l’intera interazione, comprese le continuazioni che contrastano le decisioni del sistema. L’interesse del volume nasce dal rapporto fra questa esigenza e la possibilità di costruire effettivamente una soluzione. Dimostrare che un comportamento adeguato esiste, descrivere come realizzarlo e stabilire quanto sia difficile individuarlo sono questioni diverse. La ricerca presentata le collega attraverso un interrogativo comune: quali caratteristiche del problema consentono di trasformare una possibilità di successo in una capacità dimostrabile e calcolabile? È su questo passaggio che si fonda la rilevanza dell’opera per lo studio dei sistemi che devono continuare a rispondere al proprio ambiente.
