Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Automated temporal equilibrium analysis: verification and synthesis of multi-player games. (English) Zbl 1493.68360 Artif. Intell. 287, Article ID 103353, 26 p. (2020). MSC: 68T42 68Q60 91A06 91A10 91A80 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Artif. Intell. 287, Article ID 103353, 26 p. (2020; Zbl 1493.68360) Full Text: DOI arXiv
Křena, Bohuslav; Vojnar, Tomáš Automated formal analysis and verification: an overview. (English) Zbl 1286.68318 Int. J. Gen. Syst. 42, No. 4, 335-365 (2013). MSC: 68Q60 68T15 68N30 PDFBibTeX XMLCite \textit{B. Křena} and \textit{T. Vojnar}, Int. J. Gen. Syst. 42, No. 4, 335--365 (2013; Zbl 1286.68318) Full Text: DOI