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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org
Hauptverfasser:	Chatterjee, Krishnendu, Dvořák, Wolfgang, Henzinger, Monika, Loitzenbauer, Veronika
Format:	Paper
Sprache:	Englisch
Veröffentlicht:	Ithaca Cornell University Library, arXiv.org 20.07.2016
Schlagworte:	Algorithms Apexes Boolean algebra Combinatorial analysis Games Graph theory Graphs Lower bounds Multiplication Objectives Program verification (computers) Run time (computers)
ISSN:	2331-8422
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!