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 :NATURAL SCIENCES; NATURVETENSKAP; 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