Retchkiman Königsberg, Zvi, Instituto Politécnico Nacional, Centro de Investigación en Computación, Mexico

• Vol 25, No 3 (2021): 25(3) 2021 - Articles
  Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach
  Abstract  PDF