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
A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties - MaRDI portal

A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties

From MaRDI portal

Publication:6535676

Jump to:navigation, search

DOI10.1007/978-3-031-37709-9_1zbMath1547.68441MaRDI QIDQ6535676

Kaushik Mallik, Sadegh Soudjani, Unnamed Author, Anne-Kathrin Schmuck, Rupak Majumdar

Publication date: 1 February 2024

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)

This page was built for publication: A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties

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