Efficient and Dynamic Algorithms for Alternating Buchi Games and Maximal End-component Decomposition

Efficient and Dynamic Algorithms for Alternating Buchi Games and Maximal End-component Decomposition

Content
Grafik
Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
Grafik Top
Projects
Grafik Top
Shortfacts
Category
 Journal Paper
Divisions
 Theory and Applications of Algorithms
Journal or Publication Title
 Journal of the ACM
ISSN
 0004-5411
Publisher
 ACM
Place of Publication
 New York, NJ, USA
Page Range
 15:1-15:40
Number
 3
Volume
 61
Date
 May 2014
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.