scientific article
From MaRDI portal
Publication:2848415
zbMath1272.91014MaRDI QIDQ2848415
No author found.
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002379
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ On-the-Fly Synthesis for Strictly Alternating Games ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ On the complexity of resource-bounded logics ⋮ Playing with Repetitions in Data Words Using Energy Games ⋮ Qualitative Analysis of VASS-Induced MDPs
This page was built for publication:
