Model-Checking Iterated Games
From MaRDI portal
Publication:5326322
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (2)
Uses Software
This page was built for publication: Model-Checking Iterated Games