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
Synthesizing permissive winning strategy templates for parity games - MaRDI portal

Synthesizing permissive winning strategy templates for parity games

From MaRDI portal

Publication:6535644

Jump to:navigation, search

DOI10.1007/978-3-031-37706-8_22zbMath1547.68404MaRDI QIDQ6535644

Anne-Kathrin Schmuck, Unnamed Author, Unnamed Author

Publication date: 1 February 2024

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Synthesizing permissive winning strategy templates for parity games

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