scientific article; zbMATH DE number 1903345
From MaRDI portal
Publication:4804886
zbMath1010.68504MaRDI QIDQ4804886
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040058.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (14)
Conway Games, Coalgebraically ⋮ Equivalences and Congruences on Infinite Conway Games ⋮ Modular strategies for recursive game graphs ⋮ The mu-calculus and Model Checking ⋮ A Dynamic Algorithm for Reachability Games Played on Trees ⋮ Measuring Permissivity in Finite Games ⋮ Subgame optimal strategies in finite concurrent games with prefix-independent objectives ⋮ Symbolic bounded synthesis ⋮ A Note on Game Theory and Verification ⋮ Algorithms: From Al-Khwarizmi to Turing and Beyond ⋮ Visibly pushdown modular games ⋮ Unnamed Item ⋮ Reachability Games on Automatic Graphs ⋮ Extracting Winning Strategies in Update Games
This page was built for publication:
