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
Optimal Assumptions for Synthesis - MaRDI portal

Optimal Assumptions for Synthesis

From MaRDI portal

Publication:4608659

Jump to:navigation, search

DOI10.4230/LIPICS.CONCUR.2016.8zbMath1392.68237arXiv1604.03471OpenAlexW2963863513MaRDI QIDQ4608659

Romain Brenguier

Publication date: 21 March 2018

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

zbMATH Keywords

parity games controller synthesis admissible strategies

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Games involving topology, set theory, or logic (91A44) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Optimal Assumptions for Synthesis

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