GRAPH GAMES

Quantitative Graph Games: Theory and Applications

Coordinatore	Institute of Science and Technology Austria    more Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.
Nazionalità Coordinatore	Austria [AT]
Totale costo	1˙163˙111 €
EC contributo	1˙163˙111 €
Programma	FP7-IDEAS-ERC Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	ERC-2011-StG_20101014
Funding Scheme	ERC-SG
Anno di inizio	2011
Periodo (anno-mese-giorno)	2011-12-01   -   2016-11-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	Institute of Science and Technology Austria  Organization address address: Am Campus 1 city: Klosterneuburg postcode: 3400 contact info Titolo: Ms. Nome: Carla Cognome: Mazuheli-Chibidziura Email: send email Telefono: +43 2243 9000 1038 Fax: +43 2243 9000 2000	AT (Klosterneuburg)	hostInstitution	1˙163˙111.00
2	Institute of Science and Technology Austria  Organization address address: Am Campus 1 city: Klosterneuburg postcode: 3400 contact info Titolo: Prof. Nome: Krishnendu Cognome: Chatterjee Email: send email Telefono: +43 2243 9000 3201 Fax: +43 2243 9000 2000	AT (Klosterneuburg)	hostInstitution	1˙163˙111.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'The theory of games played on graphs provides the mathematical foundations to study numerous important problems in branches of mathematics, economics, computer science, biology, and other fields. One key application area in computer science is the formal verification of reactive systems. The system is modeled as a graph, in which vertices of the graph represent states of the system, edges represent transitions, and paths represent behavior of the system. The verification of the system in an arbitrary environment is then studied as a problem of game played on the graph, where the players represent the different interacting agents. Traditionally, these games have been studied either with Boolean objectives, or single quantitative objectives. However, for the problem of verification of systems that must behave correctly in resource-constrained environments (such as an embedded system) both Boolean and quantitative objectives are necessary: the Boolean objective for correctness specification and quantitative objective for resource-constraints. Thus we need to generalize the theory of graph games such that the objectives can express combinations of quantitative and Boolean objectives. In this project, we will focus on the following research objectives for the study of graph games with quantitative objectives: (1) develop the mathematical theory and algorithms for the new class of games on graphs obtained by combining quantitative and Boolean objectives; (2) develop practical techniques (such as compositional and abstraction techniques) that allow our algorithmic solutions be implemented efficiently to handle large game graphs; (3) explore new application areas to demonstrate the application of quantitative graph games in diverse disciplines; and (4) develop the theory of games on graphs with infinite state space and with quantitative objectives. since the theory of graph games is foundational in several disciplines, new algorithmic solutions are expected.'