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
Robust satisfaction of metric interval temporal logic objectives in adversarial environments - MaRDI portal

Robust satisfaction of metric interval temporal logic objectives in adversarial environments

From MaRDI portal

Publication:6555607

Jump to:navigation, search

DOI10.3390/g14020030zbMath1542.9311MaRDI QIDQ6555607

Radha Poovendran, Bhaskar Ramasubramanian, Unnamed Author, Andrew Clark

Publication date: 14 June 2024

Published in: Games (Search for Journal in Brave)

zbMATH Keywords

robustness control synthesis Stackelberg game adversary MITL specification

Mathematics Subject Classification ID

Hierarchical games (including Stackelberg games) (91A65) Control/observation systems involving computers (process control, etc.) (93C83) Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15) Networked control (93B70)

This page was built for publication: Robust satisfaction of metric interval temporal logic objectives in adversarial environments

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