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
How to win first-order safety games - MaRDI portal

How to win first-order safety games

From MaRDI portal

Publication:784157

Jump to:navigation, search

DOI10.1007/978-3-030-39322-9_20OpenAlexW3004379279MaRDI QIDQ784157

D. Kharzeev

Publication date: 5 August 2020

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

zbMATH Keywords

first order logic first order safety games second order quantifier elimination universal invariants

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Stratified guarded first-order transition systems

This page was built for publication: How to win first-order safety games

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