Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Improved Set-Based Symbolic Algorithms for Parity Games - MaRDI portal

Improved Set-Based Symbolic Algorithms for Parity Games

From MaRDI portal

Publication:5111185

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2017.18zbMath1436.68194arXiv1706.04889OpenAlexW2963506294MaRDI QIDQ5111185

Krishnendu Chatterjee, Veronika Loitzenbauer, Wolfgang Dvořák, Monika R. Henzinger

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1706.04889

zbMATH Keywords

symbolic computation parity games model checking graph games progress measure

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Fine-grained complexity lower bounds for problems in computer aided verification ⋮ Unnamed Item

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111185&oldid=19628616"