Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking

From MaRDI portal
Publication:2225595

DOI10.1016/j.ic.2020.104554zbMath1497.68303arXiv1702.08405OpenAlexW3013111319MaRDI QIDQ2225595

Raine Rönnholm, Antti Kuusisto, Valentin F. Goranko

Publication date: 8 February 2021

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.08405




Related Items (4)



Cites Work




This page was built for publication: Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking