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
Computing adequately permissive assumptions for synthesis - MaRDI portal

Computing adequately permissive assumptions for synthesis

From MaRDI portal

Publication:6536127

Jump to:navigation, search

DOI10.1007/978-3-031-30820-8_15zbMath1547.68403MaRDI QIDQ6536127

Unnamed Author, Unnamed Author, Kaushik Mallik, Anne-Kathrin Schmuck

Publication date: 5 April 2024

zbMATH Keywords

synthesis permissiveness two-player games parity

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Computing adequately permissive assumptions for synthesis

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