Model-Checking Iterated Games

DOI10.1007/978-3-642-36742-7_11zbMath1381.68167OpenAlexW195674926MaRDI QIDQ5326322

Sven Schewe, Chung-Hao Huang, Farn Wang

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Reasoning About Strategies ⋮ Augmenting ATL with strategy contexts

Uses Software

• SPIN

This page was built for publication: Model-Checking Iterated Games