Games and Automata for Synthesis and Validation

01.09.2002 - 31.01.2007

Research funding project

There is a growing need for formal methods that guarantee the reliability, correctness, and efficiency of computerised systems. This project adresses this challenge by developing specification and validation methodologies that are based on gamea and automata. Oriented at both foundational research and modern applications, this network aims to provide a novel set of techniques for the synthesis and validation of computing systems.

People

Project leader

Georg Gottlob (E184)

Project personnel

Michal Ceresna (E184)
Peter Szinek (E184)

Institute

E184 - Institute of Information Systems

Grant funds

European Commission (EU) Other EU Research Initiative European Commission Application number 00283

Research focus

Computational Intelligence: 100%

Keywords

German	English
model checking	model checking
strategy sysnthesis problem	strategy sysnthesis problem
semistructured data	semistructured data

External partner

RWTH Aachen
Laboratory for Foundations of Computer Science
Warsaw University, Faculty of Mathematics, Informatics and Mechanics
Uppsala Universitet, Department of Information Technology
Universite Paris 7
Rice University
Université Bordeaux 1, Laboratoire/Research Institute

Publications

Publications