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
scientific article; zbMATH DE number 7301713 - MaRDI portal

scientific article; zbMATH DE number 7301713

From MaRDI portal

Publication:5146734

Jump to:navigation, search

zbMath1472.93114MaRDI QIDQ5146734

S. Prokopev

Publication date: 26 January 2021

Full work available at URL: http://mathnet.ru/eng/pdm165

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logics model checkers blind search of regularities control of system deviations

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44) Other applications of logic (03B80)

This page was built for publication:

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