Conditionally Optimal Algorithms for Generalized Büchi Games

Games on graphs provide the appropriate framework to study several central problems in computer science, such as the verification and synthesis of reactive systems. One of the most basic objectives for games on graphs is the liveness (or B\"uchi) objective that given a target set of vertices re...

Celý popis

Podrobná bibliografie

Vydáno v:	arXiv.org
Hlavní autoři:	Chatterjee, Krishnendu, Dvořák, Wolfgang, Henzinger, Monika, Loitzenbauer, Veronika
Médium:	Paper
Jazyk:	angličtina
Vydáno:	Ithaca Cornell University Library, arXiv.org 20.07.2016
Témata:	Algorithms Apexes Boolean algebra Combinatorial analysis Games Graph theory Graphs Lower bounds Multiplication Objectives Program verification (computers) Run time (computers)
ISSN:	2331-8422
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!