Sökning: "Erich Grädel"

Hittade 1 avhandling innehållade orden Erich Grädel.

1. 1. Combinatorial Optimization for Infinite Games on Graphs

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

   Sammanfattning : 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. LÄS MER