Publication:4964725
From MaRDI portal
zbMath1457.68172arXiv1106.1237MaRDI QIDQ4964725
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1106.1237
Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items