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
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information - MaRDI portal

Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

From MaRDI portal

Publication:2963922

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2013.299zbMath1359.68166OpenAlexW2249690155MaRDI QIDQ2963922

Nathanaël Fijalkow, Olivier Serre, Sophie Pinchinat

Publication date: 21 February 2017

Full work available at URL: https://hal.inria.fr/hal-01260682

zbMATH Keywords

two-player games alternating automata emptiness checking imperfect information games

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (3)

Multi-player games with LDL goals over finite traces ⋮ Counting branches in trees using games ⋮ Unnamed Item

This page was built for publication: Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

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