Search for dissertations about: "Erich Grädel"

Found 1 swedish dissertation containing the words Erich Grädel.

2. 1. Combinatorial Optimization for Infinite Games on Graphs

   Author : Henrik Björklund; Sergei Vorobyov; Erich Grädel; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; infinite games; combinatorial optimization; randomized algorithms; model checking; strategy evaluation functions; linear programming; iterative improvement; local search; Computer science; Datavetenskap;

   Abstract : Games on graphs have become an indispensable tool in modern computer science. They provide powerful and expressive models for numerous phenomena and are extensively used in computer- aided verification, automata theory, logic, complexity theory, computational biology, etc. READ MORE