Infinite Games for Program Verification: Combinatorial Approach

01.07.2007 - 31.10.2009
Research funding project

People

Project leader

Institute

Grant funds

  • Vereine, Stiftungen, Preise Type of funder Vereine, Stiftungen, Preise Specific program Vetenskapsradet, Swedish Research Council

Research focus

  • Computational Intelligence: 100%

Publications